Lectures on the Curry-Howard isomorphism

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

2006

Lectures on the Curry-Howard isomorphism

SØRENSEN, Morten Heine B. a Pawel URZYCZYN

Základní údaje

Originální název

Lectures on the Curry-Howard isomorphism

Autoři

SØRENSEN, Morten Heine B. a Pawel URZYCZYN

Vydání

1st ed. Amsterdam, xiv, 442, 2006

Nakladatel

Elsevier

Další údaje

Označené pro přenos do RIV

ISBN

0444520775

Změněno: 2. 3. 2026 06:02, Záznam byl importován z knihovního systému.

SØRENSEN, Morten Heine B. a Pawel URZYCZYN. Lectures on the Curry-Howard isomorphism. 1st ed. Amsterdam: Elsevier, 2006, xiv, 442. ISBN 0444520775.

@article{,
   author = {Sørensen, Morten Heine B. and Urzyczyn, Pawel},
   address = {Amsterdam},
   edition = {1st ed.},
   location = {Amsterdam},
   isbn = {0444520775},
   publisher = {Elsevier},
   title = {Lectures on the Curry-Howard isomorphism},
   year = {2006}
}

TY  - JOUR
AU  - Sørensen, Morten Heine B. - Urzyczyn, Pawel
PY  - 2006
TI  - Lectures on the Curry-Howard isomorphism
PB  - Elsevier
CY  - Amsterdam
SN  - 0444520775
ER  -

SØRENSEN, Morten Heine B. a Pawel URZYCZYN. \textit{Lectures on the Curry-Howard isomorphism}. 1st ed. Amsterdam: Elsevier, 2006, xiv, 442. ISBN~0444520775.