scientific article; zbMATH DE number 7204452
From MaRDI portal
Publication:5111331
DOI10.4230/LIPIcs.FSCD.2017.33zbMath1434.03140MaRDI QIDQ5111331
Publication date: 26 May 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Combinatorics of partially ordered sets (06A07) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items
The sequent calculus of skew monoidal categories, Unnamed Item, The Sequent Calculus of Skew Monoidal Categories
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Planar triangulations, bridgeless planar maps and Tamari intervals
- Description trees and Tutte formulas.
- Skew-closed categories
- 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
- 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
- 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
