BetaEta-Complete Models for System F

Stefano Berardi, Chantal Berline. BetaEta-Complete Models for System F. Mathematical Structures in Computer Science, 12(6):823-874, 2002.

Abstract

Abstract is missing.