Bove, A. (1995). A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Bove, Ana. A Machine Assisted Proof of the Subject Reduction Property for Small Typed Functional Language. Master Thesis. 1995.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
Bove, Ana. A Machine Assisted Proof of the Subject Reduction Property for Small Typed Functional Language. Master Thesis. 1995.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.