What is Reddit's opinion of
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)?
From 3.5 billion Reddit comments
By popularity on Reddit, this product is:
#81
in
Combinatorics books
#218
in
Mathematical Logic books
#2386
in
Mathematics books
1 review of this product found across Reddit:
1 point
·
30th Dec 2021
If you want a book to give some structure to your learning process this book covers the correspondence cartesian closed categories and typed lambda calculi as well as the relationship between toposes and type theories. In the front it covers a basic introduction to category theory although It's a bit lacking so I recommend pairing it with another source if you are starting from scratch.
Popular alternatives to Introduction to Higher-Orde...
How to Prove It: A Structured Approach, 2nd Edition
< $50
The Algorithm Design Manual
$50 - $100
The Algorithm Design Manual
< $50