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 Podrobný výpis o publikaci

Podrobný výpis 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

ISBN

0444520775

Změněno: 8. 8. 2022 13:31, 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.

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