AnnoDomini: From Type Theory to Year 2000 Conversion Tool

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

Originalsprog	Engelsk
Tidsskrift	European Research Consortium for Informatics and Mathematics
Udgave nummer	Vol. 36
Sider (fra-til)	12-13
Status	Udgivet - 1998

Citationsformater

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