Extensional constructs in intensional type theory
- ISBN
- 3540761217
Extensional constructs in intensional type theory è un type theory, functional programming book di Martin Hofmann.
Scopri Extensional constructs in intensional type theory di Martin Hofmann, type theory.
Sull'Autore
Martin Hofmann è l'autore di Extensional constructs in intensional type theory. Esplora il suo catalogo completo su Booklogr.
Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Extensional constructs in intensional type theory?+
Extensional constructs in intensional type theory è un libro di Type theory, Functional programming, Automatic theorem proving.
Chi ha scritto Extensional constructs in intensional type theory?+
Extensional constructs in intensional type theory è stato scritto da Martin Hofmann.