Skip to content
Cover of Categorical logic and type theory

Categorical logic and type theory

by Bart Jacobs

Type theoryCategories (Mathematics)
Writing a summary for young readers…

For young readers

Book data: Open Library