This VIAF Cluster has been deleted. It is no longer part of VIAF.
Barendregt, H. P. (Hendrik Pieter). | Lambda calculus : its syntax and semantics
VIAF ID: 306887211 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/306887211
Preferred Forms
4xx's: Alternate Name Forms (2)
Expressions
Author
:
Barendregt, Henk
Language | Title | Expression | Sources |
---|---|---|---|
Russian | Lambda-isčislenie : ego sintaksis i semantika | Minc and Kuzičev :1985 |