@Article{         RegnierUrzyczyn,
  Author        = "Regnier, Laurent and Urzyczyn, Pawel",
  Abstract      = "We define a sound and complete proof system for affine beta-eta-retractions in simple types built over many atoms, and we state simple necessary conditions for arbitrary beta-eta-retractions in simple and polymorphic types.",
  date-added    = "2013-07-15 09:43:37 +0000",
  date-modified = "2013-07-15 09:43:37 +0000",
  EPrint        = "cs/0212005",
  Title         = "Retractions of Types with Many Atoms",
  URL           = "http://arxiv.org/abs/cs/0212005",
  bdsk-url-1    = "http://arxiv.org/abs/cs/0212005",
  File          = "Retractions of Types with Many Atoms - Regnier, Urzyczyn (0) (0) - a - a - p.pdf"
}

@Article{ RegnierUrzyczyn, Author = "Regnier, Laurent and Urzyczyn, Pawel", Abstract = "We define a sound and complete proof system for affine beta-eta-retractions in simple types built over many atoms, and we state simple necessary conditions for arbitrary beta-eta-retractions in simple and polymorphic types.", date-added = "2013-07-15 09:43:37 +0000", date-modified = "2013-07-15 09:43:37 +0000", EPrint = "cs/0212005", Title = "Retractions of Types with Many Atoms", URL = "http://arxiv.org/abs/cs/0212005", bdsk-url-1 = "http://arxiv.org/abs/cs/0212005", File = "Retractions of Types with Many Atoms - Regnier, Urzyczyn (0) (0) - a - a - p.pdf" }