Publication:4219051
From MaRDI portal
zbMath0949.03014MaRDI QIDQ4219051
Eike Ritter, Neil Ghani, V. C. V. de Paiva
Publication date: 15 November 1998
partial evaluation; \(\lambda\)-calculus; explicit substitutions; S4 modal logic; syntactic properties; binding analysis; constructive necessity; execution of programs in stages
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
03B40: Combinatory logic and lambda calculus
Related Items
Axiomatic and dual systems for constructive necessity, a formally verified equivalence, Intuitionistic hypothetical logic of proofs, Order-dual relational semantics for non-distributive propositional logics: a general framework, Fibrational modal type theory, Classical natural deduction for S4 modal logic, Dual and axiomatic systems for constructive S4, a formally verified equivalence