Monad - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Date: 2014-06-13 18:57:34 Computer programming Adjoint functors Software engineering Mathematical analysis Markov processes Probability theory Monad Probability distribution Kleisli category Markov chain Probability Monoidal monad		Add to Reading List Source URL: fritzo.org Download Document from Source Website File Size: 95,24 KB Share Document on Facebook

	Quantum Programs as Kleisli Maps Abraham Westerbaan Radboud University Nijmegen Furber and Jacobs have shown in their study of quantum computation that the category of commutative C∗ -algebras and DocID: 1t6A8 - View Document
	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 c DocID: 1jeOT - View Document
	PDF Document DocID: 1j3Hd - View Document
	Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W DocID: 1fBGG - View Document
	BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for DocID: 1aAD5 - View Document