4 ms·
Is this still the recommended book to get into type theory?
by bmitc 5y ago
Is this still the recommended book to get into type theory?
- ebingdom 5y agoI'd say it's the recommended book for type systems. For type theory, I'd recommend "Certified Programming with Dependent Types" by Adam Chlipala or "Programming Language Foundations in Agda" by Philip Wadler.