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

Original language	English
Title of host publication	Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA)
Publisher	Springer
Publication date	1999
Pages	6-13
Publication status	Published - 1999

Cite this

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

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

@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 -