Categories for Types (Cambridge Mathematical Textbooks). Questo articolo non è disponibile.
5 valutazioni di Goodreads
Lingua: inglese
Editore: Cambridge University Press, 1994
- Brossura
- Usato
Non disponibile
Brossura
Condizione: Usato - Buono
EUR 36,86
Descrizione dell’articolo da parte del venditore
Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
Codice articolo S_461339835
- Titolo
- Categories for Types (Cambridge Mathematical Textbooks)
- Autore
- Crole, Roy L.
- Editore
- Cambridge University Press
- Anno di pubblicazione
- 1994
- Condizione
- Good
- Rilegatura
- Paperback
- Lingua
- inglese
- ISBN 10
- 0521457017
- ISBN 13
- 9780521457019
- Serie
- Libro 4 di 24: Cambridge Mathematical Textbooks
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Recensione
"A well-organized introduction to categorical methods of lambda calculus...The individual topics are treated in a uniform, balanced style from introduction, syntax, to categorical models and categorical-type theory correspondence." Jiri Adamek, Mathematical Reviews
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per Categories for Types (Cambridge Mathematical Textbooks)
Ci sono altre 18 copie di questo libroVisualizza tutti i risultati