Categorical logic and type theory [e-book] / Bart Jacobs |
Autore | Jacobs, Bart |
Pubbl/distr/stampa | Amsterdam ; New York : Elsevier Science, c1999 |
Descrizione fisica | xviii, 760 p. : ill. ; 23 cm |
Disciplina | 511.3 |
Collana | Studies in logic and the foundations of mathematics ; 141 |
Soggetto topico |
Type theory
Categories (Mathematics) |
ISBN |
9780444501707
0444501703 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991003272389707536 |
Jacobs, Bart | ||
Amsterdam ; New York : Elsevier Science, c1999 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. del Salento | ||
|
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews |
Autore | Andrews, Peter B. |
Pubbl/distr/stampa | Orlando : Academic Press, 1986 |
Descrizione fisica | xv, 304 p. ; 23 cm. |
Disciplina | 511.3 |
Collana | Computer science and applied mathematics |
Soggetto topico |
Mathematical logic
Symbolic logic Type theory |
ISBN | 0120585367 |
Classificazione |
AMS 03-01
AMS 03-XX AMS 03B QA9.A638 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001020619707536 |
Andrews, Peter B. | ||
Orlando : Academic Press, 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Semantics of type theory : correctness, completeness and independence results / Thomas Streicher |
Autore | Streicher, Thomas |
Pubbl/distr/stampa | Boston : Birkhäuser, 1991 |
Descrizione fisica | 298 p. ; 24 cm. |
Disciplina | 511.3 |
Collana | Progress in theoretical computer science |
Soggetto topico |
Electronic computers
Functional programming Programming languages Type theory |
ISBN | 0817635947 |
Classificazione |
AMS 03F
QA76.7S82 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001325119707536 |
Streicher, Thomas | ||
Boston : Birkhäuser, 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|