@InProceedings{   Berarducci,
  Author        = "Berarducci, Alessandro",
  Address       = "New York, NY, USA",
  BookTitle     = "Logic and Algebra (Pontignano 1994)",
  date-added    = "2014-01-25 09:46:21 +0000",
  date-modified = "2014-01-25 09:47:37 +0000",
  Pages         = "339--377",
  Publisher     = "Dekker",
  Title         = "Infinite {$\lambda$}-calculus and non-sensible models",
  Year          = "1994",
  File          = "Infinite {$\lambda$}-calculus and non-sensible models - Berarducci (0) (0) - a - a - c.pdf"
}

@InProceedings{ Berarducci, Author = "Berarducci, Alessandro", Address = "New York, NY, USA", BookTitle = "Logic and Algebra (Pontignano 1994)", date-added = "2014-01-25 09:46:21 +0000", date-modified = "2014-01-25 09:47:37 +0000", Pages = "339--377", Publisher = "Dekker", Title = "Infinite {$\lambda$}-calculus and non-sensible models", Year = "1994", File = "Infinite {$\lambda$}-calculus and non-sensible models - Berarducci (0) (0) - a - a - c.pdf" }