A Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language
Konferensbidrag (offentliggjort, men ej förlagsutgivet), 1996
Författare
Ana Bove
Institutionen för datavetenskap
Alvaro Tasistro
Institutionen för datavetenskap
Workshop on Logic, Language, Information and Computation
Ämneskategorier
Datavetenskap (datalogi)