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

Published in: CoRR (2011)

Keyphrases