Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.

Amal J. Ahmed

Browse the full ESOP paper archive.