Simply typed lambda calculus
article-link
What links here
Joachim Lambek
Hans Zassenhaus
article-link
Biquaternion
article-link
Categorial grammar
article-link
Noncommutative logic
article-link
Kindertransport
article-link
Higher-order logic
article-link
Random-access machine
article-link
Register machine
article-link
List of logicians
article-link
Curry–Howard correspondence
article-link
History of topos theory
article-link
Boolean ring
article-link
Quaternion
article-link
Propositional logic
article-link
Church–Turing thesis
article-link