A Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language

Typ
Examensarbete för masterexamen
Master Thesis
Program
Publicerad
1995
Författare
Bove, Ana
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
Beskrivning
Ämne/nyckelord
Datalogi , Computer science
Citation
Arkitekt (konstruktör)
Geografisk plats
Byggnad (typ)
Byggår
Modelltyp
Skala
Teknik / material
Index