Lectures on the Curry-Howard isomorphism / M.H. Sorensen, P. Urzyczyn |
Autore | Sørensen, Morten Heine |
Pubbl/distr/stampa | Amsterdam : Elsevier, c2006 |
Descrizione fisica | xiv, 442 p. ; 24 cm |
Disciplina | 511.3 |
Altri autori (Persone) | Urzyczyn, Pawel |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato | Logica matematica |
ISBN | 0-444-52077-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008452900403321 |
Sørensen, Morten Heine
![]() |
||
Amsterdam : Elsevier, c2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Lectures on the Curry-Howard isomorphism [e-book] / Morten Heine Sørensen, Paweł Urzyczyn |
Autore | Sørensen, Morten Heine |
Pubbl/distr/stampa | Amsterdam ; Boston : Elsevier, 2006 |
Descrizione fisica | xiv, 442 p. : ill. ; 24 cm |
Disciplina | 511.326 |
Altri autori (Persone) | Urzyczyn, Pawełauthor |
Collana | Studies in logic and the foundations of mathematics, 0049-237X ; 149 |
Soggetto topico |
Curry-Howard isomorphism
Lambda calculus |
ISBN |
9780444520777
0444520775 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991003277399707536 |
Sørensen, Morten Heine
![]() |
||
Amsterdam ; Boston : Elsevier, 2006 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|