Henk Barendregt is auteur, bekend van Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (2020), A Lambda Calculus Satellite (2022) en The Lambda Calculus. Its Syntax and Semantics (2012).
Algemene informatie
-
Naam:Henk Barendregt
