[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Extensional Constructs in Intensional Type Theory

Lingua IngleseInglese
Libro In brossura
Libro Extensional Constructs in Intensional Type Theory Martin Hofmann
Codice Libristo: 06794662
Casa editrice Springer London Ltd, settembre 2011
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Descrizione completa
? points 491 b
207.55 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

I MIGLIORI
After forever Anna Todd / In brossura
common.buy 13.58 €
SVENDITA
Collected Short Stories of Louis L'Amour, Volume 1 Louis Ľamour / In brossura
common.buy 8.45 €
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) binding.
common.buy 25.47 €
Little Red Tractor - The Day of the Big Surprise Peter Tye / In brossura
common.buy 13.05 €
EU Criminal Law Valsamis Mitsilegas / In brossura
common.buy 143.86 €
Weck Den Sieger in Dir! Alexander Christiani / In brossura
common.buy 71.82 €
Bristol Football Club (RFU) (Classic Matches) Mark Hoskins / In brossura
common.buy 18.19 €
Pembrokeshire Julian Rollins / In brossura
common.buy 10.37 €
His Real Life Catherine Hoffmann / In brossura
common.buy 24.29 €
Idea of Europe Catriona Seth / In brossura
common.buy 33.28 €
European integration and data protection Fabian Junge / In brossura
common.buy 44.95 €
Revolution and Counterrevolution in Europe From 1918 to 1968 Pierre Frank / In brossura
common.buy 21.08 €
India & Iran / Rigido
common.buy 75.56 €
Kommunikationsmanagement Thomas Heinze / In brossura
common.buy 53.40 €
Purification p P / CD audio
common.buy 19.79 €

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.

Informazioni sul libro

Titolo completo Extensional Constructs in Intensional Type Theory
Autore Martin Hofmann
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2011
Numero di pagine 216
EAN 9781447112433
ISBN 1447112431
Codice Libristo 06794662
Casa editrice Springer London Ltd
Peso 359
Dimensioni 155 x 235 x 13

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo