Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Extensional Constructs in Intensional Type Theory, Martin Hofmann
- Lingua
- Pubblicato
- 2011
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.