Near Matches
Ignore Exact
Everything
2
NuPRL
Type Theory
COQ
Curry-Howard Isomorphism
Lambda calculus
Cornell University
HoL
Log in
or
register
to write something here or to contact authors.