Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
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.
Buchkauf
Extensional Constructs in Intensional Type Theory, Martin Hofmann
- Sprache
- Erscheinungsdatum
- 2011
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Keiner hat bisher bewertet.