A Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language
Other conference contribution, 1996

Author

Ana Bove

Department of Computer Science

Alvaro Tasistro

Department of Computer Science

Workshop on Logic, Language, Information and Computation

Subject Categories

Computer Science

More information

Created

10/6/2017