|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:42How are side effects handled in semantics?
apr 17 at 16:56What is the difference between arrows and exponential types in the cartesian closed category?
aug 27 at 14:34What function has the signature $ A \times \left ( B + C \right ) \rightarrow \left ( A \times B \right ) + \left ( A \times C \right ) $?
jul 20 at 10:21Extensionality of lambda calculus models
jun 12 '12 at 14:27Higher-order algorithms
may 4 '12 at 13:50What 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:16What advantages does having a null-able string type confer to a programming language?
mar 4 '12 at 23:43What does it mean that there are differing views on how computations are represented on the Turing Machine?
nov 17 '11 at 17:13Relationship between Turing Machine and Lambda calculus?
sep 20 '11 at 13:02What's the point of $\eta$-conversion in lambda calculus?
jul 25 '11 at 9:11Physics results in TCS?
jun 18 '11 at 20:44Why have computer scientists chosen recursor instead of iterator in primitive recursion?
apr 20 '11 at 3:56Ambiguity and Logic
apr 8 '11 at 15:07Results in Theoretical CS independent of ZFC
apr 7 '11 at 17:42Fixed point theorems for constructive metric spaces?
apr 4 '11 at 14:29Classification of Typed/Untyped Lambda Calculi
mar 7 '11 at 12:51Is Escardó's metric semantic for PCF+timeouts fully abstract ?
feb 21 '11 at 1:24Problem teaching computability
jan 22 '11 at 16:41Techniques for Reversing the Order of Quantiﬁers
dec 29 '10 at 15:00What constitutes denotational semantics?
nov 23 '10 at 13:25Solid applications of category theory in TCS?
nov 23 '10 at 13:20Is it possible to have a 4-coloring for a non-planar graph ?
oct 10 '10 at 20:09What would it mean to disprove Church-Turing thesis?