Found 20 Documents (Results 1–20)
Approximate relational Hoare logic for continuous random samplings. (English) Zbl 1401.68206
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 277-298 (2016).
Codensity liftings of monads. (English) Zbl 1366.68157
Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 156-170 (2015).
Towards trace metrics via functor lifting. (English) Zbl 1366.68189
Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 35-49 (2015).
Algebras versus coalgebras. (English) Zbl 1154.18001
Reviewer: Radoslav M. Dimitrić (Uniontown)
Spaces of nonexpanding maps: categorical properties. (English) Zbl 0993.18005
Reviewer: Mikhail Moklyachuk (Kyïv)
A categorical approach to integral of measures and disintegration of measures. (English) Zbl 0997.28001
Reviewer: Werner Strauß (Stuttgart)
Games for recursive types. (English) Zbl 0840.03054
Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 1-20 (1995).
Topology of functors and monads in the category of compacta. (Topologiya funktoriv i monad u kategoriï kompaktiv.) (Ukrainian) Zbl 0786.18001
Kiïv: Institut Sistemnikh Doslidzhen’ Osviti. 108 p. (1993).
On lifting of functors to the Eilenberg-Moore category of the triple generated by the functor \(C_ p C_ p\). (English) Zbl 0779.18006
Lifting functors to the Eilenberg-Moore category of the monad generated by the functor \(C_ p C_ p\). (English. Russian original) Zbl 0791.18004
Ukr. Math. J. 44, No. 9, 1181-1183 (1992); translation from Ukr. Mat. Zh. 44, No. 9, 1289-1291 (1992).
A unified approach to the lifting of adjoints. (English) Zbl 0648.18002
Reviewer: J.Koslowski
On limits and colimits in the Kleisli category. (English) Zbl 0533.18006
Reviewer: H.Kleisli
M-geschlossene Kategorien. (German) Zbl 0443.18013
Semi-topological functors. I. (English) Zbl 0413.18001
Filter Results by …
Document Type
- Journal Articles (15)
- Collection Articles (4)
- Books (1)
all
top 5
Author
- Zarichnyi, Michael Mikhailovich (4)
- Baldan, Paolo (2)
- Bonchi, Filippo (2)
- Katsumata, Shin-ya (2)
- Kerstan, Henning (2)
- König, Barbara (2)
- Pikhurko, Oleg (2)
- Sato, Tetsuya (2)
- Tholen, Walter (2)
- Wisbauer, Robert (2)
- Abramsky, Samson (1)
- Bílková, Marta (1)
- Gregoriou, John (1)
- Greve, Georg (1)
- Guetta, Léonard (1)
- Kurz, Alexander (1)
- Levyts’ka, V. S. (1)
- McCusker, Guy Andrew (1)
- Petrisan, Daniela Luan (1)
- Power, John (1)
- Street, Ross H. (1)
- Szigeti, Jenó (1)
- Velebil, Jiří (1)
- Wischnewsky, Manfred Bernd (1)
- Wolff, Harvey (1)
