We hebben 4 boeken gevonden van de auteur Henk Barendregt
Hieronder vindt u een lijst met alle gevonden boeken van de auteur Henk Barendregt.
De meest gevonden boeken zijn A Lambda Calculus Satellite, Lambda Calculus. Its Syntax & Semantics, Lambda Calculus With Types en Term Rewriting And Logic- Some Extensional Term Models For Combinatory Logics And Lambda Calculi 1971.