The lambda calculus, its syntax and semantics

Podrobný výpis o publikaci

2012

BARENDREGT, Henk

BARENDREGT, Henk

London, xv, 621, 2012

College Publications

9781848900660

Změněno: 8. 8. 2022 14:30, Záznam byl importován z knihovního systému.

BARENDREGT, Henk. The lambda calculus, its syntax and semantics. London: College Publications, 2012, xv, 621. ISBN 9781848900660.

BARENDREGT, Henk. \textit{The lambda calculus, its syntax and semantics}. London: College Publications, 2012, xv, 621. ISBN~9781848900660.