A semantics for lambda calculi with resources

DOI10.1017/S0960129599002893zbMath0935.03022OpenAlexW2129432931MaRDI QIDQ4704764

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

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

modelintersection typesdomain equation\(\lambda\)-calculus with resourcescontrol on the substitution processconvergence testing operator

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (14)

What is a categorical model of the differential and the resource λ-calculi? ⋮ The differential lambda-calculus ⋮ Differential interaction nets ⋮ 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 ⋮ Categorical models of the differential λ-calculus ⋮ Unnamed Item ⋮ Uniformity and the Taylor expansion of ordinary lambda-terms ⋮ Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion ⋮ Categorical models of the differential \(\lambda\)-calculus revisited ⋮ Strong normalization through intersection types and memory ⋮ Intuitionistic differential nets and lambda-calculus ⋮ Reasoning About Call-by-need by Means of Types

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