History and philosophy of constructive type theory
- ISBN
- 9789048154036
History and philosophy of constructive type theory is a type theory, mathematics, philosophy book by Giovanni Sommaruga.
Discover History and philosophy of constructive type theory by Giovanni Sommaruga, type theory.
About the Author
is the author of History and philosophy of constructive type theory. Browse their full catalog on Booklogr.
Explore more books by Giovanni Sommaruga →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is History and philosophy of constructive type theory?+
History and philosophy of constructive type theory is a Type theory, Mathematics, philosophy book.
Who wrote History and philosophy of constructive type theory?+
History and philosophy of constructive type theory was written by Giovanni Sommaruga.