Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types (2006)

by Amal Ahmed
Venue:of Lecture Notes in Computer Science
Citations:73 - 11 self