Syntactic logical relations for polymorphic and recursive types (2007)

by K Crary, R Harper
Venue:Electr. Notes Theor. Comput. Sci. 172:259–299. Computation, Meaning, and Logic: Articles