"A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus"

Benedikt Meurer (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics