Termination of System F-bounded: A Complete Proof

Giorgio Ghelli. Termination of System F-bounded: A Complete Proof. Inf. Comput., 139(1):39-56, 1997.

Abstract

Abstract is missing.