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