Parametric parameter passing \(\lambda\)-calculus
type: Item
instance of: scholarly article
title: Parametric parameter passing \(\lambda\)-calculus
zbMATH Open document ID: 1082.68015
author: Luca Paolini
author: Simona Ronchi Della Rocca
published in: Information and Computation
publication date: 2004-11-23T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 2118413
zbMATH Keywords: \(\lambda\)-Calculus
zbMATH Keywords: Confluence
zbMATH Keywords: Standardization
MaRDI profile type: Publication
full work available at URL: j.ic.2003.08.003
OpenAlex ID: W2153121732
Wikidata QID: Q57722201
cites work: Full abstraction in the lazy lambda calculus
cites work: The lambda calculus, its syntax and semantics
cites work: A CUCH-machine: The automatic treatment of bound variables
cites work: The duality of computation
cites work: Q5565113
cites work: Q4850465
cites work: Q4018065
cites work: Q4722037
cites work: Q3024839
cites work: Q3918095
cites work: The Mechanical Evaluation of Expressions
cites work: Call-by-value Solvability
cites work: Types and programing languages
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: The call-by-value λ-calculus: a semantic investigation
cites work: Parallel reductions in \(\lambda\)-calculus
DOI: 10.1016/J.IC.2003.08.003
DBLP publication ID: journals/iandc/PaoliniR04
Recommended article: Q4952053
Recommended article: The parametric lambda calculus. A metamodel for computation.
Recommended article: Parametric \(\lambda \)-theories
Recommended article: Q4490747
Recommended article: The \(\lambda\)-context calculus
Recommended article: Polynomial Time in the Parametric Lambda Calculus.
Recommended article: The Permutative λ-Calculus
Recommended article: A parameterization process: from a functorial point of view
Recommended article: The polarized \(\lambda\)-calculus
description: scientific article; zbMATH DE number 2118413