scientific article; zbMATH DE number 3316072
From MaRDI portal
Publication:5595187
Cited in
(only showing first 100 items - show all)- Coherence in linear predicate logic
- Permutative categories, multicategories and algebraic \(K\)-theory
- An algebraic structure for derivations in rewriting systems
- Natural deduction and coherence for weakly distributive categories
- Closed categories and the theory of proofs
- Pre-recursive categories
- Conditional rewriting logic as a unified model of concurrency
- Prelogic of logoi
- Quantifier-complete categories
- Proof of a conjecture of S. Mac Lane
- Triples on functor categories
- G-dinaturality.
- On categorical equivalence of Gentzen-style derivations in IMLL
- Representable multicategories
- On weak higher dimensional categories. I: Part 1
- Skew monoidal categories and skew multicategories
- An embedding theorem for tangent categories
- How strict is strictification?
- Equality of morphism and coherence theorem for biclosed categories
- Abstract substitution in enriched categories
- Skew structures in 2-category theory and homotopy theory
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions
- Complexity of Lambek calculi with modalities and of total derivability in grammars
- Bifibrations of polycategories and classical linear logic
- A restricted fragment of the Lambek calculus with iteration and intersection operations
- Dynamical systems and sheaves
- Cofibrantly generated lax orthogonal factorisation systems
- Contrary-to-duty reasoning: a categorical approach
- Coherence in SMCCs and equivalences on derivations in IMML with unit
- On pseudo-bialgebras
- Associative algebras related to conformal algebras.
- Polycategories via pseudo-distributive laws
- Categorical interpretation of logical derivations and its applications in algebra
- Gröbner-Shirshov bases, conformal algebras, and pseudo-algebras.
- Irreducible modules over finite simple Lie pseudoalgebras. I: Primitive pseudoalgebras of type W and S.
- Rings, modules, and algebras in infinite loop space theory
- Coherence in closed categories
- Simple associative conformal algebras of linear growth
- Injective hulls of quantale-enriched multicategories
- Language models for some extensions of the Lambek calculus
- Relational models for the Lambek calculus with intersection and unit
- Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)
- A monadic approach to polycategories
- Multiplicative linear logics and fibrations
- Commutative semantics for probabilistic programming
- Operads and PROPs
- A_-algebras, A_-categories and A_-functors
- On the equivalence between Lurie's model and the dendroidal model for infinity-operads
- scientific article; zbMATH DE number 4168913 (Why is no real title available?)
- Large systems of independent objects in concrete categories. I
- scientific article; zbMATH DE number 3741397 (Why is no real title available?)
- scientific article; zbMATH DE number 3547507 (Why is no real title available?)
- Monoidal indeterminates and categories of possible worlds
- Trivalent logics arising from L-models for the Lambek calculus with constants
- Ologisms
- A comparison between monoidal and substructural logics
- A sequent calculus for a semi-associative law
- An Isbell duality theorem for type refinement systems
- The categorical imperative: category theory as a foundation for deontic logic
- Polynomial functors and polynomial monads
- scientific article; zbMATH DE number 7359406 (Why is no real title available?)
- The comprehensive factorization of Burroni's T-functors
- The Mathematics of Text Structure
- Aspects of categorical recursion theory
- The sequent calculus of skew monoidal categories
- Complexity of the infinitary Lambek calculus with Kleene star
- Proof of a S.Mac Lane conjecture (extended abstract)
- Quantitative foundations for resource theories
- Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective
- Graded multicategories of polynomial-time realizers
- From Petri nets to linear logic
- Gröbner-Shirshov bases and their calculation
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
- Subexponentials in non-commutative linear logic
- Homotopical categories of logics
- Coherence for modalities
- Monoidal logics: completeness and classical systems
- Abstract tensor systems as monoidal categories
- scientific article; zbMATH DE number 3389217 (Why is no real title available?)
- On natural transformations of distinguished functors and their superpositions in certain closed categories
- Languages for monoidal categories
- Quantale-enriched multicategories via actions
- On weak higher-dimensional categories. I. 2
- Theory of finite pseudoalgebras
- Generalized enrichment of categories
- Relaxed multicategory structure of a global category of rings and modules
- A skew approach to enrichment for Gray-categories
- The Deduction Theorem (Before and After Herbrand)
- KHOVANOV SPECTRA FOR TANGLES
- LNL polycategories and doctrines of linear logic
- Relational Models for the Lambek Calculus with Intersection and Constants
- The formal theory of relative monads
- Kleisli categories, T-categories and internal categories
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- Clones, closed categories, and combinatory logic
- Normalization by evaluation for the lambek calculus
- A complete \(\mathcal{V}\)-equational system for graded \(\lambda\)-calculus
- A finite approach to representable multicategories and related structures
- Nerves of generalized multicategories
- Linear logic, coherence and dinaturality
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5595187)
