scientific article; zbMATH DE number 7439432

zbMath1486.03112arXiv1502.04775MaRDI QIDQ5015215

Marco Solieri

Publication date: 6 December 2021

Full work available at URL: https://arxiv.org/abs/1502.04775

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Paths, computations and labels in the \(\lambda\)-calculus
• The differential lambda-calculus
• Context semantics, linear logic, and computational complexity
• Applying quantitative semantics to higher-order quantum computing
• Logical Approaches to Computational Barriers