The parametric lambda calculus. A metamodel for computation.
type: Item
instance of: scholarly article
title: The parametric lambda calculus. A metamodel for computation.
zbMATH Open document ID: 1084.68020
DOI: 10.1007/978-3-662-10394-4
author: Luca Paolini
author: Simona Ronchi Della Rocca
published in: Texts in Theoretical Computer Science. An EATCS Series
publication date: 2005-01-12T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68-02
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 2126498
zbMATH Keywords: parametric lambda calculus
zbMATH Keywords: sets of input values
Wikidata QID: Q57722206
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-662-10394-4
OpenAlex ID: W2483114314
Recommended article: Q4991956
Recommended article: A meta lambda calculus with cross-level computation
Recommended article: Models for the computational λ-calculus
Recommended article: Q3221960
Recommended article: Q3221959
Recommended article: Models of the lambda calculus
Recommended article: Q2767025
Recommended article: Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
Recommended article: The Intensional Lambda Calculus
Recommended article: A calculus of lambda calculus contexts
description: scientific article; zbMATH DE number 2126498