Proofs and types

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

1990

Proofs and types

GIRARD, Jean-Yves; Paul TAYLOR a Yves LAFONT

Základní údaje

Originální název

Proofs and types

Autoři

GIRARD, Jean-Yves; Paul TAYLOR a Yves LAFONT

Vydání

Cambridge, xi, 176, 1990

Nakladatel

Cambridge University Press

Další údaje

ISBN

0521371813

Změněno: 18. 3. 2024 04:44, Záznam byl importován z knihovního systému.

GIRARD, Jean-Yves; Paul TAYLOR a Yves LAFONT. Proofs and types. Cambridge: Cambridge University Press, 1990, xi, 176. ISBN 0521371813.

@article{,
   author = {Girard, JeanandYves and Taylor, Paul and Lafont, Yves},
   address = {Cambridge},
   location = {Cambridge},
   isbn = {0521371813},
   publisher = {Cambridge University Press},
   title = {Proofs and types},
   year = {1990}
}

TY  - JOUR
AU  - Girard, Jean-Yves - Taylor, Paul - Lafont, Yves
PY  - 1990
TI  - Proofs and types
PB  - Cambridge University Press
CY  - Cambridge
SN  - 0521371813
ER  -

GIRARD, Jean-Yves; Paul TAYLOR a Yves LAFONT. \textit{Proofs and types}. Cambridge: Cambridge University Press, 1990, xi, 176. ISBN~0521371813.