scientific article; zbMATH DE number 2053247

MaRDI QIDQ4454862zbMATH OpenFDO

Authors Ken-etsu Fujita

Publication date 8 March 2004

zbMATH Keywords

control operatorscall-by-valueChurch-Rosser propertycall-by-namesurjective pairingcontinuation-passing style translationextensional \(\lambda\mu\)-calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2061706
• scientific article; zbMATH DE number 1910399
• scientific article; zbMATH DE number 1456954
• scientific article; zbMATH DE number 1070627
• Representing Control: a Study of the CPS Transformation

Cited in

(3)

• scientific article; zbMATH DE number 2061706 (Why is no real title available?)
• scientific article; zbMATH DE number 1910399 (Why is no real title available?)
• Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4454862)