scientific article; zbMATH DE number 1497774

MaRDI QIDQ4499189zbMATH OpenFDO

Authors Yasuhiko Minamide

Publication date 6 March 2001

zbMATH Keywords

lambda calculus

Mathematics Subject Classification ID

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

Recommendations

• On the call-by-value CPS transform and its semantics
• The call-by-value λ-calculus: a semantic investigation
• scientific article; zbMATH DE number 7650848
• New semantical insights into call-by-value \(\lambda\)-calculus
• Call-by-value combinatory logic and the lambda-value calculus
• Towards a semantic measure of the execution time in call-by-value lambda-calculus
• Call-by-Value  -calculus and LJQ
• scientific article; zbMATH DE number 176136
• On the semantics of the call-by-name CPS transform
• scientific article; zbMATH DE number 6825409

Cited in

(3)

• On the semantics of the call-by-name CPS transform
• scientific article; zbMATH DE number 1497776 (Why is no real title available?)
• A new criterion for safe program transformations

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 Q4499189)