Partial Evaluations and the Compositional Structure of the Bar Construction

Carmen Constantin, Paolo Perrone, T. A. Fritz, Brandon T. Shapiro

Type: Preprint

Publication Date: 2020-01-01

Citations: 1

DOI: https://doi.org/10.48550/arxiv.2009.07302

View Publication

Locations

arXiv (Cornell University) - View
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	Partial Evaluations and the Compositional Structure of the Bar Construction	2020	Carmen Constantin Paolo Perrone T. A. Fritz Brandon Shapiro
+	Monads, Partial Evaluations, and Rewriting	2020	T. A. Fritz Paolo Perrone
+	A categorical view of varieties of ordered algebras	2020	Jiřı́ Adámek Matěj Dostál J. Velebil
+ PDF Chat	A categorical view of varieties of ordered algebras	2020	J. Adámek M. Dostál J. Velebil
+ PDF Chat	Monadic Expressions and Their Derivatives	2024	Samira Attou Ludovic Mignot Clément Miklarz Florent Nicart
+	Monadic Expressions and their Derivatives [extended version]	2023	Samira Attou Ludovic Mignot Clément Miklarz Florent Nicart
+ PDF Chat	Monadic Expressions and their Derivatives	2022	Samira Attou Ludovic Mignot Clément Miklarz Florent Nicart
+	Monads on Categories of Relational Structures.	2021	Chase Ford Stefan Milius Lutz Schröder
+ PDF Chat	Commutants for Enriched Algebraic Theories and Monads	2017	Rory B. B. Lucyshyn-Wright
+	Enriched universal algebra	2023	Jiřı́ Rosický Giacomo Tendas
+	Equational Lifting Monads	1999	Anna Bucalo Carsten Führmann Alex Simpson
+	From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness	2022	T. A. Fritz Fabio Gadducci Davide Trotta Andrea Corradini
+	An Equational Notion of Lifting Monad	2001	Anna Bucalo Carsten Führmann
+	Operational calculus in algebras	2022	Eligiusz Mieloszyk
+	Monads on Categories of Relational Structures	2021	Chase Ford Stefan Milius Lutz Schröder
+	Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics	2018	Ohad Kammar Dylan McDermott
+	Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics	2018	Ohad Kammar Dylan McDermott
+	An equational notion of lifting monad	2003	Anna Bucalo Carsten Führmann Alex Simpson
+	Products of coalgebras	2001	H. Peter Gumm Tobias Schröder
+ PDF Chat	The costructure–cosemantics adjunction for comodels for computational effects	2021	Richard Garner

Works That Cite This (2)

Action	Title	Year	Authors
+	Kan extensions are partial colimits	2021	Paolo Perrone Walter Tholen
+	Weak cartesian properties of simplicial sets	2021	Carmen Constantin T. A. Fritz Paolo Perrone Brandon Shapiro

Works Cited by This (0)

Action	Title	Year	Authors