|
3
|
Algebras of higher operads as enriched categories II
– Michael Batanin, Mark Weber
|
|
7
|
Recursive Types in Kleisli Categories
– Alex K. Simpson
- 1992
|
|
|
COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS
– Anders Kock
|
|
1
|
Homomorphisms of higher categories
– Richard Garner
- 2008
|
|
30
|
Operads In Higher-Dimensional Category Theory
– Tom Leinster
- 2004
|
|
3
|
Involutive categories and monoids, with a GNS-correspondence
– Bart Jacobs
- 2010
|
|
17
|
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
– Marcelo Fiore, Gordon D. Plotkin
- 1997
|
|
1
|
Actions, Ramifications and Linear Modalities
– G. White
- 1998
|
|
38
|
Categorical Models for Local Names
– Ian Stark
- 1996
|
|
1
|
A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality
– Samson Abramsky, Adam Brandenburger
- 2011
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
11
|
The Structure of Call-by-Value
– Carsten Führmann
- 2000
|
|
2
|
A HOMOTOPY-THEORETIC UNIVERSAL PROPERTY OF LEINSTER’S OPERAD FOR WEAK ω-CATEGORIES
– Richard Garner
- 2008
|
|
16
|
Pasting Schemes for the Monoidal Biclosed Structure on
– Sjoerd E. Crans
- 1995
|
|
12
|
Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory
– Thomas M. Fiore
|
|
|
GENERALIZED HOPF MODULES FOR BIMONADS
– Marcelo Aguiar, Stephen, U. Chase
|
|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
3
|
Morphisms And Modules For Poly-Bicategories
– J. R. B. Cockett, J. Koslowski, R. A. G. Seely
- 2003
|
|
1
|
A UNIFIED FRAMEWORK FOR GENERALIZED MULTICATEGORIES
– G. S. H. Cruttwell, Michael, A. Shulman
|
