Bengt. Programming in Martin-Löf's Type Theory
This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.
- from
- Math, Theoretical Computer Science
- added
- 2026-10-10
- likes
- 0
Math › Foundations and Logic > Type Theory: “Bengt Nordstrom, Kent Petersson, Jan M. Smith.”
Theoretical Computer Science › Type Theory > Books: “This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.”