Apparently, this user prefers to keep an air of mystery about them.
27 Relationship between Turing Machine and Lambda calculus? aug 26 '10
17 Why can Lambda Calculus not represent some combinators? aug 26 '10
11 Are the types that show monads are more powerful than continuations revealing something of fundamental importance? oct 2 '14
10 Does Pattern Calculus represent a step forward in languages or are we just going back to LISP? aug 26 '10