This account is temporarily suspended network-wide. The suspension period ends on May 11, 2024 at 18:00.
Val's user avatar
Val's user avatar
Val's user avatar
Val
  • Member for 10 years
  • 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
801 views

Unification vs. SAT solver

9 votes
1 answer
4k views

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

7 votes
3 answers
7k views

What is the difference between operator and function?

3 votes
1 answer
315 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
380 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
363 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
116 views

Multivalued, partial evaluation

1 vote
2 answers
642 views

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

1 vote
4 answers
486 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
256 views

Is constant a variable or subtype?

0 votes
1 answer
260 views

Type checking on assignment

-1 votes
1 answer
104 views

Type for difference of two absolute values