Near Matches
Ignore Exact
Everything
2
Curry-Howard Isomorphism
Type Theory
popularity of isomorphism theorems
Haskell B. Curry
System F
NuPRL
mathematics is beautiful
Functional programming
elegant proof
propositional calculus
Natural Deduction
Alonzo Church
parametric polymorphism
COQ
Lambda calculus
Mathematical Beauty
K
Proof Theory
Logical framework
throat singing
propositional logic
Intuitionalism
Constructive
isomorphism
Intuitionism
Log in
or
register
to write something here or to contact authors.