A Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language
Övrigt konferensbidrag, 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)