Basic Simple Type Theory
- Título:
- Basic Simple Type Theory
- Materia:
- Computer Science; Mathematics; Condensed Matter Physics; Nanoscience and Mesoscopic Physics; Physical Chemistry
- Editor:
- Cambridge University Press
- Descripción:
- Coursebooks
- Identificadores:
- E-ISBN: 9780511608865; 9780521465182 ISBN: 9780521054225
- Colección:
- Cambridge University Press