Coherence by normalization for linear multicategorical structures
From MaRDI portal
Cites work
- A linearization of the Lambda-calculus and consequences
- A nonstandard standardization theorem
- A practical type theory for symmetric monoidal categories
- A survey of graphical languages for monoidal categories
- A Terminating and Confluent Linear Lambda Calculus
- Classical lambda calculus in modern dress
- Closed categories and the theory of proofs
- Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure
- Coherence in closed categories
- Coherence via focusing for symmetric skew monoidal categories
- Combining algebraic rewriting, extensional lambda calculi, and fixpoints
- Elements of a theory of algebraic theories
- Exponentials as substitutions and the cost of cut elimination in linear logic
- Generalised species of rigid resource terms
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 512773 (Why is no real title available?)
- scientific article; zbMATH DE number 3316072 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- Linear logic
- Natural deduction and coherence for weakly distributive categories
- Representable multicategories
- Revisiting the categorical interpretation of dependent type theory
- Simple free star-autonomous categories and full coherence
- Taylor expansion, -reduction and normalization
- The Theory of Calculi with Explicit Substitutions Revisited
- The virtues of eta-expansion
- Uniformity and the Taylor expansion of ordinary lambda-terms
This page was built for publication: Coherence by normalization for linear multicategorical structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856008)
