Not Enough Points Is Enough

DOI10.1007/978-3-540-74915-8_24MaRDI QIDQ3608420zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

\(\lambda \)-calculus\(\lambda \)-modelsCartesian closed categoriesnon-determinismrelational model

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• A General Class of Models of $\mathcal{H}^*$
• Models of the lambda calculus
• Categorical models for non-extensional λ-calculi and combinatory logic
• scientific article; zbMATH DE number 3889501
• scientific article; zbMATH DE number 4103048

Cited in

(39)

• Fully abstract submodels of typed lambda calculi
• Strong normalization through intersection types and memory
• A type assignment for -calculus complete both for FPTIME and strong normalization
• Relational graph models, Taylor expansion and extensionality
• A category theoretic formulation for Engeler-style models of the untyped -calculus
• Graph easy sets of mute lambda terms
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• Categorical models for simply typed resource calculi
• A General Class of Models of $\mathcal{H}^*$
• Models of the lambda calculus
• scientific article; zbMATH DE number 5119977 (Why is no real title available?)
• Interpreting Localized Computational Effects Using Operators of Higher Type
• Graph lambda theories
• A Relational Model of a Parallel and Non-deterministic λ-Calculus
• Differential Linear Logic and Polarization
• A relational semantics for parallelism and non-determinism in a functional setting
• The Scott model of linear logic is the extensional collapse of its relational model
• scientific article; zbMATH DE number 1182707 (Why is no real title available?)
• Transport of finiteness structures and applications
• Execution time of λ-terms via denotational semantics and intersection types
• Inhabitation for non-idempotent intersection types
• Relational graph models at work
• Fully abstract models of the probabilistic -calculus
• scientific article; zbMATH DE number 7089070 (Why is no real title available?)
• Amb Breaks Well-Pointedness, Ground Amb Doesn't
• Essential and relational models
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• From semantics to types: the case of the imperative \(\lambda\)-calculus
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
• From semantics to types: the case of the imperative \(\lambda\)-calculus
• Free commutative monoids in homotopy type theory
• Intersection types and denotational semantics: an extended abstract (invited paper)
• From thin concurrent games to generalized species of structures (extended version)
• Extensional Taylor expansion
• The lambda calculus is quantifiable
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Interpreting a finitary pi-calculus in differential interaction nets

This page was built for publication: Not Enough Points Is Enough

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