scientific article

zbMath0971.68024MaRDI QIDQ2704331

Carolyn L. Talcott

Publication date: 19 March 2001

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

zbMATH Keywords

lambda calculusimperative functional languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18)

Related Items

A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ A first order logic of effects ⋮ Complete trace models of state and control ⋮ Unnamed Item ⋮ On the observational theory of the CPS-calculus ⋮ Amb Breaks Well-Pointedness, Ground Amb Doesn't