@Article{         Meurer,
  Author        = "Meurer, Benedikt",
  date-added    = "2013-12-11 21:32:57 +0000",
  date-modified = "2013-12-11 21:33:08 +0000",
  EPrint        = "1105.1985",
  Month         = "05",
  Title         = "A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus",
  URL           = "http://arxiv.org/abs/1105.1985",
  Year          = "2011",
  bdsk-url-1    = "http://arxiv.org/abs/1105.1985",
  File          = "A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus - Meurer (0) (0) - a - a - u.pdf"
}

@Article{ Meurer, Author = "Meurer, Benedikt", date-added = "2013-12-11 21:32:57 +0000", date-modified = "2013-12-11 21:33:08 +0000", EPrint = "1105.1985", Month = "05", Title = "A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus", URL = "http://arxiv.org/abs/1105.1985", Year = "2011", bdsk-url-1 = "http://arxiv.org/abs/1105.1985", File = "A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus - Meurer (0) (0) - a - a - u.pdf" }