An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof nets
From MaRDI portal
(Redirected from Publication:5079739)
Recommendations
Cites work
- A new correctness criterion for MLL proof nets
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Computing connected proof(-structure)s from their Taylor expansion
- Finiteness spaces
- Linear logic
- Normal functors, power series and -calculus
- On Köthe sequence spaces and linear logic
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Strong normalizability as a finiteness structure via the Taylor expansion of -terms
- Taylor expansion, -reduction and normalization
- The differential lambda-calculus
- The relational model is injective for multiplicative exponential linear logic
- The structure of multiplicatives
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Weighted relational models of typed lambda-calculi
Cited in
(3)
This page was built for publication: An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079739)
