scientific article; zbMATH DE number 1222571

zbMath0912.03009MaRDI QIDQ4218109

G. M. Bierman

Publication date: 2 March 1999

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

zbMATH Keywords

\(\lambda\mu\)-calculusoperational theoryextension of typed \(\lambda\)-calculuscomputational interpretationsingle-step semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (8)

Programming and Proving with Classical Types ⋮ A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) ⋮ A proof-theoretic foundation of abortive continuations ⋮ A Filter Model for the λμ-Calculus ⋮ Termination checking with types ⋮ Completeness of continuation models for \(\lambda_\mu\)-calculus ⋮ A Third-Order Representation of the λμ-Calculus

This page was built for publication: