scientific article; zbMATH DE number 2053247

zbMATH Open1060.68020MaRDI QIDQ4454862FDOQ4454862

Authors: Ken-etsu Fujita 

Publication date: 8 March 2004

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)