A prismoid framework for languages with resources
type: Item
instance of: scholarly article
title: A prismoid framework for languages with resources
zbMATH Open document ID: 1231.68103
author: Delia Kesner
author: Fabien Renaud
published in: Theoretical Computer Science
publication date: 2011-12-23T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 5991564
zbMATH Keywords: lambda-calculus
zbMATH Keywords: explicit resources
zbMATH Keywords: linear logic
describes a project that uses: Automath
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.01.026
OpenAlex ID: W2153961574
cites work: Explicit substitutions
cites work: Q5397484
cites work: Jumping Boxes
cites work: The Structural λ-Calculus
cites work: Q4912847
cites work: λν, a calculus of explicit substitutions which preserves strong normalisation
cites work: Q4357055
cites work: Q3793765
cites work: Proof nets and explicit substitutions
cites work: A \(\lambda\)-calculus with explicit weakening and explicit substitution
cites work: Lambda-calculus with director strings
cites work: Linear logic
cites work: The Theory of Calculi with Explicit Substitutions Revisited
cites work: Perpetuality for Full and Safe Composition (in a Constructive Setting)
cites work: Q4501151
cites work: Resource operators for \(\lambda\)-calculus
cites work: Automath and Pure Type Systems
cites work: Combinatory reduction systems: Introduction and survey
cites work: Explicit Substitutions à la de Bruijn
cites work: The Prismoid of Resources
cites work: Q3024846
cites work: Local bigraphs and confluence: two conjectures (extended abstract)
cites work: Q4501161
DOI: 10.1016/J.TCS.2011.01.026
description: scientific article; zbMATH DE number 5991564