This account is temporarily suspended network-wide. The suspension period ends on May 11 '24 at 18:00.
Val
  • Member for 9 years, 4 months
  • Last seen more than 4 years ago
  • google.ee/search?q=greatest+misallocation+of+resources+in+the+history
3 answers
7 votes
6k views
1 bookmarks
What is the difference between operator and function?
1 answers
8 votes
4k views
3 bookmarks
What is the difference between assignment, valuation and name binding?
1 answers
14 votes
2k views
7 bookmarks
what is semantics?
2 answers
2 votes
1k views
1 bookmarks
How Dynamic programming can be used for Coin Change problem?
1 answers
11 votes
768 views
2 bookmarks
Unification vs. SAT solver
2 answers
1 votes
603 views
1 bookmarks
Can terms "interpreter" and "processor" be used interchangably?
4 answers
1 votes
473 views
What is the point of (Compactness theorem in the) Overspill principle?
1 answers
2 votes
361 views
1 bookmarks
Multiple production rules for expressions of the same type?
1 answers
2 votes
357 views
1 bookmarks
definition of formula validity
1 answers
3 votes
314 views
Why ⊢ for affirmative predicates and ⊨ for ¬negations?
1 answers
0 votes
249 views
Is constant a variable or subtype?
1 answers
0 votes
247 views
1 bookmarks
Type checking on assignment
1 answers
3 votes
134 views
1 bookmarks
parsing at semantic level due to ambiguities
1 answers
2 votes
124 views
Why do they say `A, B, C, ... implies M` instead of `A∧B∧ C∧ ... implies M`?
1 answers
1 votes
111 views
Multivalued, partial evaluation
1 answers
-1 votes
104 views
Type for difference of two absolute values
1 answers
0 votes
33 views
Denumerably many isomorphism types