AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte

Originalsprog	Engelsk
Titel	Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA)
Forlag	Springer
Publikationsdato	1999
Sider	6-13
Status	Udgivet - 1999

Citationsformater

Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, 1999. s. 6-13.

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

@inbook{d6ee633074c811dbbee902004c4f4f50,

title = "AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581",

author = "Eidorff, {Peter Harry} and Fritz Henglein and Christian Mossin and Henning Niss and S{\o}rensen, {Morten Heine} and Mads Tofte",

year = "1999",

language = "English",

pages = "6--13",

booktitle = "Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA)",

publisher = "Springer",

}

TY - CHAP

T1 - AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

AU - Eidorff, Peter Harry

AU - Henglein, Fritz

AU - Mossin, Christian

AU - Niss, Henning

AU - Sørensen, Morten Heine

AU - Tofte, Mads

PY - 1999

Y1 - 1999

M3 - Book chapter

SP - 6

EP - 13

BT - Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA)

PB - Springer

ER -