TY  - RPRT
TI  - A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus
AU  - Benedikt Meurer
PY  - 2011
UR  - https://arxiv.org/abs/1105.1985
ID  - 1105.1985
ER  -