Not Enough Points Is Enough
From MaRDI portal
Publication:3608420
DOI10.1007/978-3-540-74915-8_24zbMath1179.03021OpenAlexW1498388520MaRDI QIDQ3608420
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
Publication date: 5 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_24
Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items (24)
A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization ⋮ What is a categorical model of the differential and the resource λ-calculi? ⋮ Relational graph models, Taylor expansion and extensionality ⋮ Graph easy sets of mute lambda terms ⋮ Categorical Models for Simply Typed Resource Calculi ⋮ A General Class of Models of $\mathcal{H}^*$ ⋮ Unnamed Item ⋮ Transport of finiteness structures and applications ⋮ Execution time of λ-terms via denotational semantics and intersection types ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ A relational semantics for parallelism and non-determinism in a functional setting ⋮ Interpreting Localized Computational Effects Using Operators of Higher Type ⋮ The Scott model of linear logic is the extensional collapse of its relational model ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Graph lambda theories ⋮ Strong normalization through intersection types and memory ⋮ Probabilistic coherence spaces as a model of higher-order probabilistic computation ⋮ Unnamed Item ⋮ Interpreting a finitary pi-calculus in differential interaction nets ⋮ A Relational Model of a Parallel and Non-deterministic λ-Calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Differential Linear Logic and Polarization ⋮ Essential and relational models
This page was built for publication: Not Enough Points Is Enough