@Article{         Goubault-Larrecq:aa,
  Author        = "Goubault-Larrecq, Jean and Lasota, Slawomir and Nowak, David",
  Abstract      = "Logical relations and their generalizations are a fundamental tool in proving properties of lambda-calculi, e.g., yielding sound principles for observational equivalence. We propose a natural notion of logical relations able to deal with the monadic types of Moggi's computational lambda-calculus. The treatment is categorical, and is based on notions of subsconing, mono factorization systems, and monad morphisms. Our approach has a number of interesting applications, including cases for lambda-calculi with non-determinism (where being in logical relation means being bisimilar), dynamic name creation, and probabilistic systems.",
  date-added    = "2017-04-18 12:14:57 +0000",
  date-modified = "2017-04-18 12:14:57 +0000",
  EPrint        = "cs/0511006",
  Title         = "Logical Relations for Monadic Types",
  URL           = "https://arxiv.org/abs/cs/0511006",
  bdsk-url-1    = "https://arxiv.org/abs/cs/0511006",
  File          = "0511006 (0) - a - a - r.pdf"
}

@Article{ Goubault-Larrecq:aa, Author = "Goubault-Larrecq, Jean and Lasota, Slawomir and Nowak, David", Abstract = "Logical relations and their generalizations are a fundamental tool in proving properties of lambda-calculi, e.g., yielding sound principles for observational equivalence. We propose a natural notion of logical relations able to deal with the monadic types of Moggi's computational lambda-calculus. The treatment is categorical, and is based on notions of subsconing, mono factorization systems, and monad morphisms. Our approach has a number of interesting applications, including cases for lambda-calculi with non-determinism (where being in logical relation means being bisimilar), dynamic name creation, and probabilistic systems.", date-added = "2017-04-18 12:14:57 +0000", date-modified = "2017-04-18 12:14:57 +0000", EPrint = "cs/0511006", Title = "Logical Relations for Monadic Types", URL = "https://arxiv.org/abs/cs/0511006", bdsk-url-1 = "https://arxiv.org/abs/cs/0511006", File = "0511006 (0) - a - a - r.pdf" }