The following pages link to (Q5595187):
Displayed 34 items.
- On natural transformations of distinguished functors and their superpositions in certain closed categories (Q579398) (← links)
- Languages for monoidal categories (Q584380) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- The structure of free closed categories (Q803265) (← links)
- An abstract framework for environment machines (Q804281) (← links)
- An algebraic structure for derivations in rewriting systems (Q1111012) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Closed categories and the theory of proofs (Q1147133) (← links)
- Pre-recursive categories (Q1164127) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Prelogic of logoi (Q1233435) (← links)
- Quantifier-complete categories (Q1238805) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- Triples on functor categories (Q1393594) (← links)
- G-dinaturality. (Q1400601) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Representable multicategories (Q1570232) (← links)
- On weak higher dimensional categories. I: Part 1 (Q1588075) (← links)
- Equality of morphism and coherence theorem for biclosed categories (Q1838564) (← links)
- Abstract substitution in enriched categories (Q1869199) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Irreducible modules over finite simple Lie pseudoalgebras. I: Primitive pseudoalgebras of type \(W\) and \(S\). (Q2496720) (← links)
- Rings, modules, and algebras in infinite loop space theory (Q2503363) (← links)
- Coherence in closed categories (Q2544617) (← links)
- Simple associative conformal algebras of linear growth (Q2576984) (← links)
- (Q3495524) (← links)
- (Q3927252) (← links)
- (Q4122071) (← links)
- (Q5658221) (← 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)