@InProceedings{   EasyChair:85,
  Author        = "Uustalu, Tarmo",
  Editor        = "Komendantskaya, Ekaterina and Bove, Ana and Niqui, Milad",
  bibsource     = "EasyChair, http://www.easychair.org",
  BookTitle     = "PAR-10",
  date-added    = "2012-12-18 00:19:58 +0000",
  date-modified = "2012-12-18 00:19:58 +0000",
  ISSN          = "2040-557X",
  Pages         = "113-113",
  Publisher     = "EasyChair",
  Series        = "EPiC Series",
  Title         = "Antifounded Coinduction in Type Theory",
  Volume        = "5",
  Year          = "2012",
  File          = "Antifounded Coinduction in Type Theory - Uustalu (0) (0) - a - a - h.pdf",
  file-2        = "Antifounded Coinduction in Type Theory - Uustalu (1) (0) - a - a - h.pdf",
  file-3        = "Antifounded Coinduction in Type Theory - Uustalu (2) (0) - a - a - h.pdf"
}

@InProceedings{ EasyChair:85, Author = "Uustalu, Tarmo", Editor = "Komendantskaya, Ekaterina and Bove, Ana and Niqui, Milad", bibsource = "EasyChair, http://www.easychair.org", BookTitle = "PAR-10", date-added = "2012-12-18 00:19:58 +0000", date-modified = "2012-12-18 00:19:58 +0000", ISSN = "2040-557X", Pages = "113-113", Publisher = "EasyChair", Series = "EPiC Series", Title = "Antifounded Coinduction in Type Theory", Volume = "5", Year = "2012", File = "Antifounded Coinduction in Type Theory - Uustalu (0) (0) - a - a - h.pdf", file-2 = "Antifounded Coinduction in Type Theory - Uustalu (1) (0) - a - a - h.pdf", file-3 = "Antifounded Coinduction in Type Theory - Uustalu (2) (0) - a - a - h.pdf" }