The book is currently out of stock
More about the book
Exploring the intersection of extensional constructs and intensional type theory, this work delves into advanced concepts in mathematical logic and computer science. It examines how extensionality can be integrated into intensional frameworks, offering insights into the foundations of type theory and its applications. The book presents rigorous proofs and theoretical discussions, making it a valuable resource for researchers and students interested in the formal structures that underpin programming languages and logical systems.
Book purchase
Extensional Constructs in Intensional Type Theory, Martin Hofmann
- Language
- Released
- 2011
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.