A Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language
Typ
Examensarbete för masterexamen
Master Thesis
Master Thesis
Program
Publicerad
1995
Författare
Bove, Ana
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
Beskrivning
Ämne/nyckelord
Datalogi , Computer science