5 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Trending
Random
Subjects
Proof theory, Categories (Mathematics), Computer science, Curry-Howard isomorphism, Functor theory, Lambda calculus, MATHEMATICS / Logic, Type theoryID Numbers
- OLID: OL30373A
Links outside Open Library
No links yet. Add one?


