A Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language
Loading...
Date
Authors
Type
Examensarbete för masterexamen
Master Thesis
Master Thesis
Programme
Model builders
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Datalogi, Computer science