The following pages link to (Q5595187):
Displaying 50 items.
- Simple associative conformal algebras of linear growth (Q2576984) (← links)
- Injective hulls of quantale-enriched multicategories (Q2667932) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract) (Q2825366) (← links)
- A monadic approach to polycategories (Q2842822) (← links)
- Multiplicative Linear Logics and Fibrations (Q2842824) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- Operads and PROPs (Q3053870) (← links)
- -algebras, -categories and -functors (Q3053871) (← links)
- (Q3495524) (← links)
- (Q3927252) (← links)
- (Q4122071) (← links)
- Trivalent logics arising from L-models for the Lambek calculus with constants (Q4583347) (← links)
- (Q4585075) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- (Q4625697) (← links)
- An Isbell duality theorem for type refinement systems (Q4640309) (← links)
- Polynomial functors and polynomial monads (Q4902505) (← links)
- (Q4993336) (← links)
- The comprehensive factorization of Burroni's T-functors (Q5004667) (← links)
- The Mathematics of Text Structure (Q5014597) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- The Sequent Calculus of Skew Monoidal Categories (Q5014602) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- Proof of a S.Mac Lane conjecture (extended abstract) (Q5057466) (← links)
- (Q5079757) (← links)
- Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective (Q5096248) (← links)
- Graded multicategories of polynomial-time realizers (Q5096260) (← links)
- From petri nets to linear logic (Q5096267) (← links)
- Gröbner–Shirshov bases and their calculation (Q5172855) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- Homotopical Categories of Logics (Q5258961) (← links)
- Monoidal logics: completeness and classical systems (Q5379321) (← links)
- Abstract Tensor Systems as Monoidal Categories (Q5414967) (← links)
- (Q5658221) (← links)
- Quantale-Enriched Multicategories Via Actions (Q5868038) (← links)
- On weak higher-dimensional categories. I. 2 (Q5931436) (← links)
- Theory of finite pseudoalgebras (Q5951856) (← links)
- Generalized enrichment of categories (Q5960413) (← links)
- Relaxed multicategory structure of a global category of rings and modules (Q5960414) (← links)
- A skew approach to enrichment for Gray-categories (Q6087076) (← links)
- KHOVANOV SPECTRA FOR TANGLES (Q6112070) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- The formal theory of relative monads (Q6496517) (← links)
- Kleisli categories, \(T\)-categories and internal categories (Q6603963) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)
- Clones, closed categories, and combinatory logic (Q6629524) (← links)
