A Machine-assisted Proof that Well Typed Expressions Cannot Go Wrong
Rapport, 1998
Författare
Ana Bove
Institutionen för datavetenskap
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)