|Nice Answer||Answer score of 10 or more. This badge can be awarded multiple times.|
jmad earned this badge 10 times
feb 6 at 16:20Characterization of lambda-terms that have union types
jan 16 at 20:38Are Turing machines more powerful than pushdown automata?
jan 14 at 15:48How hard is counting the number of simple paths between two nodes in a directed graph?
nov 13 at 7:16Counting sort on non-integers - why not possible?
sep 26 at 0:49When are two simulations not a bisimulation?
jun 27 at 16:21Decide whether a context-free languages can be accepted by a deterministic pushdown automaton
mar 29 '12 at 7:03How to prove that a language is not context-free?
mar 23 '12 at 21:21Random Sudoku generator
mar 22 '12 at 16:50Is there a difference between $\lambda xy.xy$ and $\lambda x.\lambda y.xy$?