Parametric \(\lambda \)-theories
type: Item
instance of: scholarly article
title: Parametric \(\lambda \)-theories
zbMATH Open document ID: 1145.68013
author: Luca Paolini
published in: Theoretical Computer Science
publication date: 2008-06-24T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5292217
zbMATH Keywords: parametric \(\lambda \)-calculus
zbMATH Keywords: \(\lambda \)-theory
zbMATH Keywords: operational semantics
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.01.021
OpenAlex ID: W2048932540
cites work: Full abstraction in the lazy lambda calculus
cites work: Q4222034
cites work: The lambda calculus, its syntax and semantics
cites work: A discrimination algorithm inside \(\lambda -\beta\)-calculus
cites work: Q4175261
cites work: Q4692885
cites work: Q4018065
cites work: Linear logic
cites work: Q4204146
cites work: Q4896506
cites work: Locus solum: From the rules of logic to the logic of rules.
cites work: A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
cites work: Foundations of Software Science and Computation Structures
cites work: Lazy logical semantics
cites work: Parametric parameter passing \(\lambda\)-calculus
cites work: Types and programing languages
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: The parametric lambda calculus. A metamodel for computation.
cites work: Q3664454
cites work: The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
Wikidata QID: Q57722180
DOI: 10.1016/J.TCS.2008.01.021
description: scientific article; zbMATH DE number 5292217