Nr. 51 (1997): RS-51 Some Lambda Calculus and Type Theory Formalized

Publiceret: 1997-06-21

Artikler