![Category theory / Models of computation / Adjoint functors / Functional programming / Logic in computer science / Denotational semantics / Lambda calculus / Cartesian closed category / Sheaf / F-algebra / Kleisli category / Monad Category theory / Models of computation / Adjoint functors / Functional programming / Logic in computer science / Denotational semantics / Lambda calculus / Cartesian closed category / Sheaf / F-algebra / Kleisli category / Monad](https://www.pdfsearch.io/img/84fcdee3b1a9324777c7db9205a4e1ac.jpg) Date: 2010-12-15 21:36:48Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad | | A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of cAdd to Reading ListSource URL: ect.bell-labs.comDownload Document from Source Website File Size: 275,91 KBShare Document on Facebook
|