scientific article; zbMATH DE number 7003195
From MaRDI portal
Publication:4611381
DOI10.23638/LMCS-14(4:21)2018MaRDI QIDQ4611381
Publication date: 18 January 2019
Full work available at URL: https://arxiv.org/abs/1712.05505
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A semantic account of strong normalization in linear logic
- The relational model is injective for multiplicative exponential linear logic (without weakenings)
- A semantic measure of the execution time in linear logic
- Linear logic
- Differential interaction nets
- Weak typed Böhm theorem on IMLL
- Principal type scheme and unification for intersection type discipline
- Head linear reduction and pure proof net extraction
- λμ-calculus and Böhm's theorem
- Proof equivalence in MLL is PSPACE-complete
- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms
- Non-uniform (hyper/multi)coherence spaces
- The Inhabitation Problem for Non-idempotent Intersection Types
- Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
- The Separation Theorem for Differential Interaction Nets
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Execution time of λ-terms via denotational semantics and intersection types
- No proof nets for MLL with units
- Obsessional experiments for linear logic proof-nets
- The Relational Model Is Injective for Multiplicative Exponential Linear Logic
- Finiteness spaces
- On phase semantics and denotational semantics: The exponentials
This page was built for publication:
