Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Val's user avatar
Val's user avatar
Val's user avatar
Val
  • Member for 11 years, 8 months
  • Last seen more than 7 years ago
14 votes
1 answer
2k views

what is semantics?

13 votes
1 answer
880 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
327 views

Why ⊢ for affirmative predicates and ⊨ for ¬negations?

3 votes
1 answer
147 views

parsing at semantic level due to ambiguities

2 votes
1 answer
439 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
374 views

definition of formula validity

2 votes
1 answer
122 views

Multivalued, partial evaluation

2 votes
1 answer
133 views

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

1 vote
2 answers
704 views

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

1 vote
4 answers
501 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
317 views

Is constant a variable or subtype?

0 votes
1 answer
276 views

Type checking on assignment

-1 votes
1 answer
104 views

Type for difference of two absolute values