Machine Checked Normalization Proofs for Typed Combinator Calculi (1992)

by V Gaspes, J M Smith
Venue:In Proceeding from the