The resource lambda calculus is short-sighted in its relational model

DOI10.1007/978-3-642-38946-7_9zbMATH Open1381.03021OpenAlexW186361106MaRDI QIDQ5300896FDOQ5300896

Authors: Flavien Breuvart 

Publication date: 28 June 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38946-7_9

Recommendations

• Full abstraction for resource calculus with tests
• Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
• A semantics for lambda calculi with resources
• Categorical models for simply typed resource calculi
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?

zbMATH Keywords

full abstractionlinear logicnondeterminismresource \(\lambda \)-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Cited In (8)

• Title not available (Why is that?)
• Full abstraction for resource calculus with tests
• Quantitative semantics of the lambda calculus. Some generalisations of the relational model
• Exponentials with infinite multiplicities
• A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
• Resource combinatory algebras
• Weighted relational models of typed lambda-calculi
• Relational graph models at work

This page was built for publication: The resource lambda calculus is short-sighted in its relational model

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