Lambda Calculus with Types Dublin Core Títol Lambda Calculus with Types Autor Barendregt/Dekkers/Statman Matèria Computer Science Mathematics Mathematics and Statistics Editor Cambridge University Press Data de publicació 2013 Identificador 9781139032636 Font https://doi.org/10.1017/CBO9781139032636 Etiquetes Computer Science, Mathematics, Mathematics and Statistics Col·lecció Mathematics and Statistics ← ítem anterior Ítem següent →
