Parametric parameter passing -calculus

DOI10.1016/J.IC.2003.08.003MaRDI QIDQ1887148zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Luca Paolini, Simona Ronchi Della Rocca

Publication date 23 November 2004

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2003.08.003

zbMATH Keywords

StandardizationConfluence\(\lambda\)-Calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1443050
• The parametric lambda calculus. A metamodel for computation.
• Parametric \(\lambda \)-theories
• Publication:4490747
• The \(\lambda\)-context calculus
• Polynomial Time in the Parametric Lambda Calculus.
• The permutative \(\lambda \)-calculus
• A parameterization process: from a functorial point of view
• The polarized \(\lambda\)-calculus

Cites work

• scientific article; zbMATH DE number 2185665 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 92599 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 806614 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• A CUCH-machine: The automatic treatment of bound variables
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Call-by-value Solvability
• Full abstraction in the lazy lambda calculus
• Parallel reductions in \(\lambda\)-calculus
• The Mechanical Evaluation of Expressions
• The call-by-value λ-calculus: a semantic investigation
• The duality of computation
• The lambda calculus, its syntax and semantics
• Types and programing languages

Cited in

(11)

• Strong normalization from an unusual point of view
• The weak lambda calculus as a reasonable machine
• The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus
• Sub-\(\lambda\)-calculi, classified
• scientific article; zbMATH DE number 177785 (Why is no real title available?)
• A Fresh Look at the λ-Calculus
• A parameterization process: from a functorial point of view
• On the value of variables
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Parametric \(\lambda \)-theories
• Factorization and normalization, essentially

This page was built for publication: Parametric parameter passing \(\lambda\)-calculus

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