DMCA

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

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