A semantics for lambda calculi with resources

DOI10.1017/S0960129599002893MaRDI QIDQ4704764zbMATH OpenOpenAlexFDO

Authors Gérard Boudol, Pierre-Louis Curien, Carolina Lavatelli

Publication date 9 May 2000

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129599002893

zbMATH Keywords

\(\lambda\)-calculus with resourcescontrol on the substitution processconvergence testing operatordomain equationintersection typesmodel

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Full abstraction for lambda calculus with resources and convergence testing
• Full abstraction for resource calculus with tests
• Algebraic interpretation of lambda calculus with resources
• scientific article; zbMATH DE number 1086680
• Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

Cited in

(35)

• Categorical models of the differential \(\lambda\)-calculus revisited
• Strong normalization through intersection types and memory
• The differential lambda-calculus
• Reasoning about call-by-need by means of types
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• Full abstraction for resource calculus with tests
• Labelled calculi of resources
• Linearity, non-determinism and solvability
• Böhm's theorem for resource lambda calculus through Taylor expansion
• Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
• Solvability in resource lambda-calculus
• Resource combinatory algebras
• scientific article; zbMATH DE number 1231449 (Why is no real title available?)
• scientific article; zbMATH DE number 1302023 (Why is no real title available?)
• scientific article; zbMATH DE number 1086680 (Why is no real title available?)
• A resource aware semantics for a focused intuitionistic calculus
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Execution time of λ-terms via denotational semantics and intersection types
• A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
• Standardization in resource -calculus
• A fully-abstract semantics of in the -calculus
• Geometry of resource interaction -- \textit{a minimalist approach}
• Categorical models of the differential λ-calculus
• The resource lambda calculus is short-sighted in its relational model
• Intuitionistic differential nets and lambda-calculus
• Automata, Languages and Programming
• A quantitative model for simply typed λ-calculus
• Full abstraction for lambda calculus with resources and convergence testing
• scientific article; zbMATH DE number 7756108 (Why is no real title available?)
• Algebraic interpretation of lambda calculus with resources
• Formal verifications of call-by-need and call-by-name evaluations with mutual recursion
• An encoding of the \(\lambda \)-calculus in the string MultiSet rewriting calculus
• A prismoid framework for languages with resources
• Differential interaction nets
• Uniformity and the Taylor expansion of ordinary lambda-terms

This page was built for publication: A semantics for lambda calculi with resources

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