Takeuti's conjecture
article-link
What links here
Jean-Yves Girard
Jean van Heijenoort
article-link
Per Martin-Löf
article-link
Coherent space
article-link
Proof net
article-link
Cut-elimination theorem
article-link
Ludics
article-link
History of programming languages
article-link
System F
article-link
Affine logic
article-link
Noncommutative logic
article-link
Constructive logic
article-link
Game semantics
article-link
Linear logic
article-link
List of logicians
article-link
Intuitionistic type theory
article-link
Polymorphism (programming language theory)
article-link
Proof theory
article-link
Berry paradox
article-link