scientific article; zbMATH DE number 7559284

DOI10.4230/LIPIcs.FSCD.2019.18MaRDI QIDQ5089020

Luís Pinto, Santo José Espírito, Tarmo Uustalu

Publication date: 18 July 2022

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

zbMATH Keywords

standardizationcall-by-valuecall-by-nameintuitionistic S4comonadic \(\lambda\)-calculusindifference property

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Related Items (4)

Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus ⋮ Factorization in call-by-name and call-by-value calculi via linear logic ⋮ The bang calculus revisited ⋮ The bang calculus revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Call-by-name, call-by-value, call-by-need and the linear lambda calculus
• On an intuitionistic modal logic
• Encoding Strategies in the Lambda Calculus with Interaction Nets
• Thunks and the λ-calculus

This page was built for publication: