@inbook {IOPORT.01231463,
    author       = {Jeffrey, Alan and Stuart, Austin},
    title        = {A fully abstract semantics for a nondeterministic functional language with monadic types.},
    year         = {1995},
    booktitle    = {Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995},
    pages        = {12 p.},
    publisher    = {Amsterdam: Elsevier},
    abstract     = {Summary: This paper presents a functional programming language, based on Moggi's monadic metalanguage. In the first part of this paper, we show how the language can be regarded as a monad on a category of signatures, and that the resulting category of algebras is equivalent to the category of computationally cartesian closed categories. In the second part, we extend the language to include a nondeterministic operational semantics, and show that the lower powerdomain semantics is fully abstract for may-testing.},
    identifier   = {01231463},
}