This account is temporarily suspended network-wide. The suspension period ends on May 11, 2024 at 18:00.
user avatar
user avatar
user avatar
Val
  • Member for 9 years, 8 months
  • Last seen more than 5 years ago
  • google.ee/search?q=greatest+misallocation+of+resources+in+the+history
14 votes
1 answer
2k views

what is semantics?

13 votes
1 answer
784 views

Unification vs. SAT solver

8 votes
1 answer
4k views

What is the difference between assignment, valuation and name binding?

7 votes
3 answers
6k views

What is the difference between operator and function?

3 votes
1 answer
314 views

Why ⊢ for affirmative predicates and ⊨ for ¬negations?

3 votes
1 answer
135 views

parsing at semantic level due to ambiguities

2 votes
1 answer
370 views

Multiple production rules for expressions of the same type?

2 votes
2 answers
1k views

How Dynamic programming can be used for Coin Change problem?

2 votes
1 answer
361 views

definition of formula validity

2 votes
1 answer
124 views

Why do they say `A, B, C, ... implies M` instead of `A∧B∧ C∧ ... implies M`?

1 vote
1 answer
115 views

Multivalued, partial evaluation

1 vote
2 answers
620 views

Can terms "interpreter" and "processor" be used interchangably?

1 vote
4 answers
484 views

What is the point of (Compactness theorem in the) Overspill principle?

0 votes
1 answer
33 views

Denumerably many isomorphism types

0 votes
1 answer
252 views

Is constant a variable or subtype?

0 votes
1 answer
255 views

Type checking on assignment

-1 votes
1 answer
104 views

Type for difference of two absolute values