Syntactic logical relations for polymorphic and recursive types (2007)

by K Crary, R Harper
Venue:Electronic Notes in Theoretical Computer Science