research
.chalmers.se
In English
Logga in
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
Forskning
Andra publikationer
Alvaro Tasistro
Institutionen för datavetenskap
Workshop on Logic, Language, Information and Computation
Ämneskategorier
Datavetenskap (datalogi)
Mer information
Skapat
2017-10-06