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)

Mer information

Skapat

2017-10-06