@Article{         SalibraCarraro,
  Author        = "Salibra, Antonino and Carraro, Alberto",
  date-added    = "2013-12-27 17:30:42 +0000",
  date-modified = "2013-12-27 17:31:01 +0000",
  EPrint        = "1311.1916",
  Keywords      = "lambda calculus models",
  Month         = "11",
  Title         = "Ordered Models of the Lambda Calculus",
  URL           = "http://arxiv.org/abs/1311.1916",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1311.1916",
  File          = "Ordered Models of the Lambda Calculus - Salibra, Carraro (0) (0) - a - a - u.pdf"
}

@Article{ SalibraCarraro, Author = "Salibra, Antonino and Carraro, Alberto", date-added = "2013-12-27 17:30:42 +0000", date-modified = "2013-12-27 17:31:01 +0000", EPrint = "1311.1916", Keywords = "lambda calculus models", Month = "11", Title = "Ordered Models of the Lambda Calculus", URL = "http://arxiv.org/abs/1311.1916", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1311.1916", File = "Ordered Models of the Lambda Calculus - Salibra, Carraro (0) (0) - a - a - u.pdf" }