AnnoDomini: From Type Theory to Year 2000 Conversion Tool (1999)

Cached

Download Links

by Peter Harry Eidorff , Fritz Henglein , Christian Mossin , Henning Niss , Morten Heine Sørensen , Mads Tofte
Citations:39 - 3 self