Parametric -theories

DOI10.1016/J.TCS.2008.01.021MaRDI QIDQ930867zbMATH OpenOpenAlexWikidataFDO

Authors Luca Paolini

Publication date 24 June 2008

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2008.01.021

zbMATH Keywords

operational semantics\(\lambda \)-theoryparametric \(\lambda \)-calculus

Mathematics Subject Classification ID

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

Recommendations

• Parametric parameter passing \(\lambda\)-calculus
• The parametric lambda calculus. A metamodel for computation.
• Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
• scientific article; zbMATH DE number 883584
• Relational Parametricity and Control

Cites work

• scientific article; zbMATH DE number 3817067 (Why is no real title available?)
• scientific article; zbMATH DE number 92599 (Why is no real title available?)
• scientific article; zbMATH DE number 3611324 (Why is no real title available?)
• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 937366 (Why is no real title available?)
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• A discrimination algorithm inside --calculus
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Foundations of Software Science and Computation Structures
• Full abstraction in the lazy lambda calculus
• Lazy logical semantics
• Linear logic
• Locus solum: From the rules of logic to the logic of rules.
• Parametric parameter passing \(\lambda\)-calculus
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The lambda calculus, its syntax and semantics
• The parametric lambda calculus. A metamodel for computation.
• Types and programing languages

Cited in

(8)

• scientific article; zbMATH DE number 956467 (Why is no real title available?)
• Parametric parameter passing \(\lambda\)-calculus
• Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
• scientific article; zbMATH DE number 7226008 (Why is no real title available?)
• Light genericity
• Lambda theories allowing terms with a finite number of fixed points
• Relational graph models at work
• Ludics without designs. I: Triads

This page was built for publication: Parametric \(\lambda \)-theories

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