Connectez-vous pour ajouter ce livre à votre bibliothèque.
Hendrik Pieter Barendregt
The lambda calculus : its syntax and semantics
North-Holland (Amsterdam) · 1984 · 9780444867483
