Domains and Lambda calculi

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

1998

Domains and Lambda calculi

AMADIO, Roberto M. a Pierre-Louis CURIEN

Základní údaje

Originální název

Domains and Lambda calculi

Autoři

AMADIO, Roberto M. a Pierre-Louis CURIEN

Vydání

Cambridge, xvi, 484, 1998

Nakladatel

Cambridge University Press

Další údaje

ISBN

0521622778

Změněno: 22. 5. 2023 04:44, Záznam byl importován z knihovního systému.

AMADIO, Roberto M. a Pierre-Louis CURIEN. Domains and Lambda calculi. Cambridge: Cambridge University Press, 1998, xvi, 484. ISBN 0521622778.

@article{,
   author = {Amadio, Roberto M. and Curien, PierreandLouis},
   address = {Cambridge},
   location = {Cambridge},
   isbn = {0521622778},
   publisher = {Cambridge University Press},
   title = {Domains and Lambda calculi},
   year = {1998}
}

TY  - JOUR
AU  - Amadio, Roberto M. - Curien, Pierre-Louis
PY  - 1998
TI  - Domains and Lambda calculi
PB  - Cambridge University Press
CY  - Cambridge
SN  - 0521622778
ER  -

AMADIO, Roberto M. a Pierre-Louis CURIEN. \textit{Domains and Lambda calculi}. Cambridge: Cambridge University Press, 1998, xvi, 484. ISBN~0521622778.