Step-indexed syntactic logical relations for recursive and quantified types (2006)

by Amal Ahmed
Venue:Pages 69–83 of: European Symposium on Programming (ESOP