Basic Simple Type Theory

Hindley, J. Roger

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
200
Parution
janvier 2008
Format
Livre broché
Langue
Anglais
Dimensions
228 × 152 × 12 cm
EAN
9780521054225
  • Résumé

An introduction to type theory for computer scientists.
Bio de l'auteur
Sommaire / contenu
Retour en haut de page