Badge
| Nice Answer | Answer score of 10 or more. This badge can be awarded multiple times. |
Andrej Bauer earned this badge 27 times |
may 13 at 9:42
How are side effects handled in semantics?
apr 17 at 16:56
What is the difference between arrows and exponential types in the cartesian closed category?
jul 20 at 10:21
Extensionality of lambda calculus models
jun 12 '12 at 14:27
Higher-order algorithms
may 4 '12 at 13:50
What happens if we try to extract a witness but it actually does not exist from a term of existential type?
apr 14 '12 at 22:16
What advantages does having a null-able string type confer to a programming language?
mar 4 '12 at 23:43
What does it mean that there are differing views on how computations are represented on the Turing Machine?
nov 17 '11 at 17:13
Relationship between Turing Machine and Lambda calculus?
sep 20 '11 at 13:02
What's the point of $\eta$-conversion in lambda calculus?
jul 25 '11 at 9:11
Physics results in TCS?
jun 18 '11 at 20:44
Why have computer scientists chosen recursor instead of iterator in primitive recursion?
apr 20 '11 at 3:56
Ambiguity and Logic
apr 8 '11 at 15:07
Results in Theoretical CS independent of ZFC
apr 7 '11 at 17:42
Fixed point theorems for constructive metric spaces?
apr 4 '11 at 14:29
Classification of Typed/Untyped Lambda Calculi
mar 7 '11 at 12:51
Is Escardó's metric semantic for PCF+timeouts fully abstract ?
feb 21 '11 at 1:24
Problem teaching computability
jan 22 '11 at 16:41
Techniques for Reversing the Order of Quantifiers
dec 29 '10 at 15:00
What constitutes denotational semantics?
nov 23 '10 at 13:25
Solid applications of category theory in TCS?
nov 23 '10 at 13:20
Is it possible to have a 4-coloring for a non-planar graph ?
oct 10 '10 at 20:09
What would it mean to disprove Church-Turing thesis?
