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 (SSIF 2011)
Datavetenskap (datalogi)