scientific article; zbMATH DE number 1223735
From MaRDI portal
Publication:4219051
zbMath0949.03014MaRDI QIDQ4219051
Eike Ritter, Neil Ghani, V. C. V. de Paiva
Publication date: 15 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
partial evaluation\(\lambda\)-calculusexplicit substitutionsS4 modal logicsyntactic propertiesbinding analysisconstructive necessityexecution of programs in stages
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)
Related Items (6)
Intuitionistic hypothetical logic of proofs ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Dual and axiomatic systems for constructive S4, a formally verified equivalence ⋮ Fibrational modal type theory ⋮ Classical natural deduction for S4 modal logic ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence
This page was built for publication:
