Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}

DOI10.1017/S0960129516000311MaRDI QIDQ4637628zbMATH OpenOpenAlexFDO

Authors Marco Solieri

Publication date 25 April 2018

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129516000311

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)

Recommendations

• Geometry of resource interaction -- \textit{a minimalist approach}
• Taylor expansion, -reduction and normalization
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Böhm's theorem for resource lambda calculus through Taylor expansion
• Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

Cites work

• A call-by-name lambda-calculus machine
• Applying quantitative semantics to higher-order quantum computing
• Characterizingco-NLby a group action
• Context semantics, linear logic, and computational complexity
• Differential interaction nets
• Geometry of resource interaction -- \textit{a minimalist approach}
• scientific article; zbMATH DE number 1722659 (Why is no real title available?)
• scientific article; zbMATH DE number 1722666 (Why is no real title available?)
• scientific article; zbMATH DE number 1231468 (Why is no real title available?)
• scientific article; zbMATH DE number 1086661 (Why is no real title available?)
• scientific article; zbMATH DE number 786499 (Why is no real title available?)
• Intuitionistic differential nets and lambda-calculus
• Linear logic
• Logarithmic space and permutations
• Logical Approaches to Computational Barriers
• On context semantics and interaction nets
• Parallelism and synchronization in an infinitary context
• Parsimonious types and non-uniform computation
• Paths, computations and labels in the \(\lambda\)-calculus
• PELCR: parallel environment for optimal lambda-calculus reduction
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Simple parsimonious types and logarithmic space
• The differential lambda-calculus
• The geometry of synchronization
• The Separation Theorem for Differential Interaction Nets
• Unary resolution: characterizing \textsc{Ptime}
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Weak linearization of the lambda calculus

Cited in

(7)

• Strong normalizability as a finiteness structure via the Taylor expansion of -terms
• Böhm's theorem for resource lambda calculus through Taylor expansion
• Krivine machine and Taylor expansion in a non-uniform setting
• Geometry of resource interaction -- \textit{a minimalist approach}
• Abstract machines, optimal reduction, and streams
• Taylor expansion, -reduction and normalization
• Generalised species of rigid resource terms

Describes a project that uses

Uses Software

• PELCR

This page was built for publication: Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4637628)