Standard
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581. / Eidorff, Peter Harry; Henglein, Fritz; Mossin, Christian; Niss, Henning; Sørensen, Morten Heine; Tofte, Mads.
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
Harvard
Eidorff, PH, Henglein, F, Mossin, C, Niss, H, Sørensen, MH & Tofte, M 1999, AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581. in Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, pp. 6-13.
APA
Eidorff, P. H., Henglein, F., Mossin, C., Niss, H., Sørensen, M. H., & Tofte, M. (1999). AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581. In Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA) (pp. 6-13). Springer.
Vancouver
Eidorff PH, Henglein F, Mossin C, Niss H, Sørensen MH, Tofte M. AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581. In Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer. 1999. p. 6-13
Author
Eidorff, Peter Harry ; Henglein, Fritz ; Mossin, Christian ; Niss, Henning ; Sørensen, Morten Heine ; Tofte, Mads. / AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581. Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, 1999. pp. 6-13
Bibtex
@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",
address = "Switzerland",
}
RIS
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 -
