The lambda calculus. [electronic resource] : its syntax and semantics.
Autor: | Barendregt, H. P. (Hendrik Pieter) |
---|---|
Další autoři: | |
Jazyk: | angličtina |
Informace o vydání: | Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984. |
Předmět: | |
Vydání: | Rev. ed. |
Druh dokumentu: | Bibliographies; Electronic; Non-fiction; Electronic document |
Databáze: | Vybrané kolekce e-knih |
Externí odkaz: |