Lambda Calculus with Types
- Título:
- Lambda Calculus with Types
- Materia:
- Computer Science; Mathematics; Political Philosophy; Political Theory
- Editor:
- Cambridge University Press
- Descripción:
- Books for Research
- Identificadores:
- E-ISBN: 9781139032636; 9780521766142 ISBN:
- Colección:
- Cambridge University Press