Barendregt, H. P. (Hendrik Pieter). | Lambda calculus : its syntax and semantics | Russian | (Minc and Kuzičev : 1985)
VIAF ID: 306603951 ( Expression )
Permalink: http://viaf.org/viaf/306603951
Preferred Forms
4xx's: Alternate Name Forms (1)
5xx's: Related Names (2)
- 500 1 _ ‡a Kuzičev, A. S.
- 500 1 _ ‡a Minc, G. E. ‡d (1939- ).
Works
Author
:
Barendregt, H. P.
Title | Sources |
---|---|
Lambda calculus : its syntax and semantics |