Salta al contingut principal

Lambda Calculus with Types

Lambda Calculus with Types

Autor: Barendregt/Dekkers/Statman
Matèria: Mathematics; Logic; Categories and Sets
Editor: Cambridge University Press
Data publicació: 2013
Identificador: 9781139032636
Col·lecció: Mathematics and Statistics
Accés