scientific article; zbMATH DE number 7450000

zbMath1486.03105arXiv1904.06845MaRDI QIDQ5018484

Giulio Guerrieri, Giulio Manzonetto

Publication date: 20 December 2021

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

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

Taylor expansion, finiteness and strategies ⋮ Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus ⋮ Node Replication: Theory And Practice ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Factorization in call-by-name and call-by-value calculi via linear logic ⋮ The spirit of node replication ⋮ The bang calculus revisited ⋮ The bang calculus revisited ⋮ On reduction and normalization in the computational core

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Scott model of linear logic is the extensional collapse of its relational model
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Linear logic
• Computational interpretations of linear logic
• Notions of computation and monads
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Call-by-push-value: Decomposing call-by-value and call-by-name
• Proof nets and the call-by-value \(\lambda\)-calculus
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Mathematical foundations of programming semantics, 9th international conference, New Orleans, LA, USA, April 7--10, 1993. Proceedings
• Lambda calculus and intuitionistic linear logic
• Call-by-name, call-by-value, call-by-need and the linear lambda calculus
• Programming languages and systems. 16th Asian symposium, APLAS 2018, Wellington, New Zealand, December 2--6, 2018. Proceedings
• Polarized proof-nets and \(\lambda \mu\)-calculus
• Call-By-Push-Value from a Linear Logic Point of View
• Open Call-by-Value
• Localisation and interaction in one dimension
• The call-by-value λ-calculus: a semantic investigation
• Finiteness spaces
• Term Rewriting and Applications
• Parallel reductions in \(\lambda\)-calculus
• On phase semantics and denotational semantics: The exponentials