A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
We present an experiment in formally describing a programming language and its properties in constructive type theory. By constructive type theory we understand primarily the formulation of Martin Löf's set theory. Constructive type theory can also be seen as a programming language where we write ty...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | masterThesis |
| Taal: | Engels |
| Gepubliceerd in: |
1995
|
| Onderwerpen: | |
| Online toegang: | http://hdl.handle.net/20.500.12008/2912 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|