Reflections on type theory, lambda-calculus, and the mind : essays dedicated to Henk Barendregt on the occasion of his 60th birthday

E. Barendsen (Redacteur), V. Capretta (Redacteur), J.H. Geuvers (Redacteur), M. Niqui (Redacteur)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Originele taal-2Engels
Plaats van producties.l.
Uitgeverijs.n.
ISBN van geprinte versie978-90-9022446-6
StatusGepubliceerd - 2007

Citeer dit