Search results for "Kleisli-category"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Jürgen Koslowski	A Convenient Category for Games and Interaction.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	Kleisli-category, game, map, tree
86	Stefan Milius, Thorsten Palm, Daniel Schwencke	Complete Iterativity for Algebras with Effects.	CALCO	2009	DBLP DOI BibTeX RDF	iterative algebra, terminal coalgebra, monad, initial algebra, distributive law
85	Robert Goldblatt	Maps and Monads for Modal Frames.	Stud Logica	2006	DBLP DOI BibTeX RDF	modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad
44	Russell Harmer, Martin Hyland, Paul-André Melliès	Categorical Combinatorics for Innocent Strategies.	LICS	2007	DBLP DOI BibTeX RDF
40	Lutz Schröder	Monads on Composition Graphs.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	composition graph, Kleisli category, algebra, monad, adjunction
38	Koki Nishizawa, Norihiro Tsumagari	Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad.	RAMiCS	2018	DBLP DOI BibTeX RDF
38	Zoran Majkic, Bhanu Prasad 0001	Kleisli category and database mappings.	Int. J. Intell. Inf. Database Syst.	2010	DBLP DOI BibTeX RDF
38	P. V. Golubtsov, S. S. Moskaliuk	Method of Additional Structures on the Objects of a Monoidal Kleisli Category as a Background for Information Transformers Theory	CoRR	2002	DBLP BibTeX RDF
38	Jirí Vinárek	Extensions of Symmetric Hom-Functors to the Kleisli Category.	FCT	1981	DBLP DOI BibTeX RDF
34	Stephen D. Brookes, Shai Geva	Continuous Functions and Parallel Algorithms on Concrete Data Structures.	MFPS	1991	DBLP DOI BibTeX RDF
29	Ernst-Erich Doberkat	Weak Bisimulations for the Giry Monad (Extended Abstract).	TAMC	2008	DBLP DOI BibTeX RDF
29	Ichiro Hasuo, Bart Jacobs 0001	Context-Free Languages via Coalgebraic Trace Semantics.	CALCO	2005	DBLP DOI BibTeX RDF
29	Olivier Laurent 0001, Laurent Regnier	About Translations of Classical Logic into Polarized Linear Logic.	LICS	2003	DBLP DOI BibTeX RDF
29	Gian Luca Cattani, John Power, Glynn Winskel	A Categorical Axiomatics for Bisimulation.	CONCUR	1998	DBLP DOI BibTeX RDF
29	Glynn Winskel	Stable Bistructure Models of PCF.	MFCS	1994	DBLP DOI BibTeX RDF
24	Gordon D. Plotkin	Adequacy for Infinitary Algebraic Effects (Abstract).	CALCO	2009	DBLP DOI BibTeX RDF
24	Gordon D. Plotkin, Glynn Winskel	Bistructures, Bidomains and Linear Logic.	ICALP	1994	DBLP DOI BibTeX RDF