Barendregt, H. P. (Hendrik Pieter). | Lambda calculus : its syntax and semantics
VIAF ID: 1048151656389708400008 ( Work )
Permalink: http://viaf.org/viaf/1048151656389708400008
Preferred Forms
4xx's: Alternate Name Forms (1)
Expressions
Author
:
Barendregt, H. P.
Language | Title | Expression | Sources |
---|---|---|---|
(ang.) | Lambda calculus | ||
(ros.) | Lambda - isčislenie | ||
Russian | Lambda-isčislenie : ego sintaksis i semantika | Minc and Kuzičev :1985 |