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