Lambda Calculus with Types

Título:
Lambda Calculus with Types
Autor:
Barendregt; Dekkers; Statman
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