The lambda calculus, its syntax and semantics
BARENDREGT, Henk. The lambda calculus, its syntax and semantics. London: College Publications, 2012, xv, 621. ISBN 9781848900660. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | The lambda calculus, its syntax and semantics |
Autoři | BARENDREGT, Henk. |
Vydání | London, xv, 621, 2012. |
Nakladatel | College Publications |
Další údaje | |
---|---|
ISBN | 9781848900660 |
Změnil | Záznam byl importován z knihovního systému. Změněno: 8. 8. 2022 14:30. |
VytisknoutZobrazeno: 13. 10. 2024 05:36