Call-by-Name and Call-by-Value in Normal Modal Logic
From MaRDI portal
Publication:3498449
DOI10.1007/978-3-540-76637-7_27zbMath1138.68024OpenAlexW1604633680MaRDI QIDQ3498449
Publication date: 15 May 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-76637-7_27
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (4)
Modality via iterated enrichment ⋮ Game semantics for constructive modal logic ⋮ Classical natural deduction for S4 modal logic ⋮ Unnamed Item
Uses Software
This page was built for publication: Call-by-Name and Call-by-Value in Normal Modal Logic
