The lambda calculus, its syntax and semantics

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

2012

The lambda calculus, its syntax and semantics

BARENDREGT, Henk

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

Označené pro přenos do RIV

ISBN

9781848900660

Změněno: 23. 2. 2026 06:40, 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.

@article{,
   author = {Barendregt, Henk},
   address = {London},
   location = {London},
   isbn = {9781848900660},
   publisher = {College Publications},
   title = {The lambda calculus, its syntax and semantics},
   year = {2012}
}

TY  - JOUR
AU  - Barendregt, Henk
PY  - 2012
TI  - The lambda calculus, its syntax and semantics
PB  - College Publications
CY  - London
SN  - 9781848900660
ER  -

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