AnnoDomini: From Type Theory to Year 2000 Conversion Tool

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

Original language	English
Journal	European Research Consortium for Informatics and Mathematics
Issue number	Vol. 36
Pages (from-to)	12-13
Publication status	Published - 1998

Cite this

@article{de12bca074c911dbbee902004c4f4f50,

title = "AnnoDomini: From Type Theory to Year 2000 Conversion Tool",

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

year = "1998",

language = "English",

pages = "12--13",

journal = "European Research Consortium for Informatics and Mathematics",

publisher = "ERCIM News",

number = "Vol. 36",

}

TY - JOUR

T1 - AnnoDomini: From Type Theory to Year 2000 Conversion Tool

AU - Eidorff, Harry

AU - Henglein, Fritz

AU - Mossin, Christian

AU - Niss, Henning

AU - Sørensen, Morten Heine

AU - Tofte, Mads

PY - 1998

Y1 - 1998

M3 - Journal article

SP - 12

EP - 13

JO - European Research Consortium for Informatics and Mathematics

JF - European Research Consortium for Informatics and Mathematics

IS - Vol. 36

ER -