scientific article; zbMATH DE number 7029308
From MaRDI portal
Publication:4625697
Publication date: 25 February 2019
Full work available at URL: https://arxiv.org/abs/1803.10080
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Eilenberg-Kelly reloaded ⋮ Coherence via focusing for symmetric skew monoidal categories ⋮ Proof Theory of Partially Normal Skew Monoidal Categories ⋮ Maximally multi-focused proofs for skew non-commutative \texttt{MILL} ⋮ The Sequent Calculus of Skew Monoidal Categories
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Asymptotics and random sampling for BCI and BCK lambda terms
- Associahedra, Tamari lattices and related structures. Tamari memorial Festschrift
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- Skew-monoidal categories and bialgebroids.
- Intervals in Catalan lattices and realizers of triangulations
- Counting rooted maps by genus. III: Nonseparable maps
- Representable multicategories
- Skew monoidal categories and skew multicategories
- Planar triangulations, bridgeless planar maps and Tamari intervals
- Description trees and Tutte formulas.
- Structural cut elimination. I: Intuitionistic and classical logic
- Triangulations, orientals, and skew monoidal categories
- On the unity of duality
- Coherence for associativity not an isomorphism
- Problems of associativity: a simple proof for the lattice property of systems ordered by a semi-associative law
- On the number of intervals in Tamari lattices
- Permutohedra and Associahedra
- A correspondence between rooted planar maps and normal planar lambda terms
- The Mathematics of Sentence Structure
- A Census of Planar Triangulations
- Rotation Distance, Triangulations, and Hyperbolic Geometry
- Logic Programming with Focusing Proofs in Linear Logic
- Coherence for Skew-Monoidal Categories
- Linear lambda terms as invariants of rooted trivalent maps
- Problèmes d'associativité: Une structure de treillis finis induite par une loi demi-associative
- Homotopy Associativity of H-Spaces. I
- Monoïdes préordonnés et chaînes de Malcev
This page was built for publication:
