Parametric -theories

DOI10.1016/J.TCS.2008.01.021zbMATH Open1145.68013OpenAlexW2048932540WikidataQ57722180 ScholiaQ57722180MaRDI QIDQ930867FDOQ930867

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

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

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)

Cites Work

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

Cited In (8)

• Title not available (Why is that?)
• Parametric parameter passing \(\lambda\)-calculus
• Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
• Title not available (Why is that?)
• 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)