×

Lambda-calculus, types and models. Transl. from the French by René Cori. (English) Zbl 0779.03005

Ellis Horwood Series in Computers and their Applications. Paris: Masson. viii, 180 p. (1993).
See the review of the French original (Paris, 1990) in Zbl 0697.03004.

MSC:

03B40 Combinatory logic and lambda calculus
68N01 General topics in the theory of software
68Q55 Semantics in the theory of computing
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

Citations:

Zbl 0697.03004
PDF BibTeX XML Cite