This account is temporarily suspended network-wide. The suspension period ends on May 11 at 18:00.
Val's user avatar
Val's user avatar
Val's user avatar
Val
  • Member for 11 years, 5 months
  • Last seen more than 6 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
867 views

Unification vs. SAT solver

10 votes
1 answer
4k views

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

7 votes
3 answers
8k views

What is the difference between operator and function?

3 votes
1 answer
324 views

Why ⊢ for affirmative predicates and ⊨ for ¬negations?

3 votes
1 answer
140 views

parsing at semantic level due to ambiguities

2 votes
1 answer
438 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
372 views

definition of formula validity

2 votes
1 answer
132 views

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

1 vote
1 answer
119 views

Multivalued, partial evaluation

1 vote
2 answers
700 views

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

1 vote
4 answers
499 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
310 views

Is constant a variable or subtype?

0 votes
1 answer
273 views

Type checking on assignment

-1 votes
1 answer
104 views

Type for difference of two absolute values