Categories for Types

Crole, Roy L.

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
356
Parution
janvier 1994
Format
Livre broché
Langue
Anglais
Dimensions
234 × 156 × 20 cm
EAN
9780521457019
  • Résumé

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
How to Study for a Mathematics Degree Alcock, Lara CHF 23.50
MATLAB for Beginners Peter I Kattan CHF 10.90
Retour en haut de page