AnnoDomini: From Type Theory to Year 2000 Conversion Tool

Research output: Contribution to journal › Journal article › Research

  • Harry Eidorff
  • Henglein, Fritz
  • Christian Mossin
  • Henning Niss
  • Morten Heine Sørensen
  • Mads Tofte
Original languageEnglish
JournalEuropean Research Consortium for Informatics and Mathematics
Issue numberVol. 36
Pages (from-to)12-13
Publication statusPublished - 1998

ID: 207035