@Article{         Escardo,
  Author        = "Escardo, Martin",
  date-added    = "2013-12-28 08:39:53 +0000",
  date-modified = "2013-12-28 08:40:05 +0000",
  EPrint        = "0808.0441",
  Journal       = "LMCS",
  Month         = "08",
  Title         = "Exhaustible sets in higher-type computation",
  URL           = "http://arxiv.org/abs/0808.0441",
  Year          = "2008",
  bdsk-url-1    = "http://arxiv.org/abs/0808.0441",
  bdsk-url-2    = "http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/",
  File          = "Exhaustible sets in higher-type computation - Escardo (0) (0) - a - a - w.pdf"
}

@Article{ Escardo, Author = "Escardo, Martin", date-added = "2013-12-28 08:39:53 +0000", date-modified = "2013-12-28 08:40:05 +0000", EPrint = "0808.0441", Journal = "LMCS", Month = "08", Title = "Exhaustible sets in higher-type computation", URL = "http://arxiv.org/abs/0808.0441", Year = "2008", bdsk-url-1 = "http://arxiv.org/abs/0808.0441", bdsk-url-2 = "http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/", File = "Exhaustible sets in higher-type computation - Escardo (0) (0) - a - a - w.pdf" }