A Fully Complete Minimal PER Model for the Simply Typed λ-calculus (2001)

by S Abramsky, M Lenisa
Venue:CSL’01 Conf. Proc., LNCS