Cita APA (7a ed.)

Bove, A. (1995). A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis.

Cita Chicago Style (17a ed.)

Bove, Ana. A Machine Assisted Proof of the Subject Reduction Property for Small Typed Functional Language. Master Thesis. 1995.

Cita MLA (9a ed.)

Bove, Ana. A Machine Assisted Proof of the Subject Reduction Property for Small Typed Functional Language. Master Thesis. 1995.