Syntactic logical relations for polymorphic and recursive types (0)

by Karl Crary, Robert Harper
Venue:In Computation, Meaning and Logic: Articles