Exponentials with infinite multiplicities

DOI10.1007/978-3-642-15205-4_16MaRDI QIDQ3586041zbMATH OpenOpenAlexFDO

Authors Thomas Ehrhard, Alberto Carraro, Antonino Salibra

Publication date 3 September 2010

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10278/4323

zbMATH Keywords

denotational semanticsdifferential lambda-calculuslambda-calculuslinear logicnon-sensible modelsresource lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Semirings (16Y60)

Recommendations

• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• A functorial bridge between the infinitary affine lambda-calculus and linear logic
• Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
• The resource lambda calculus is short-sighted in its relational model
• An explicit formula for the free exponential modality of linear logic

Cited in

(15)

• Expansion of the exponential function into an infinite product
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• The free exponential modality of probabilistic coherence spaces
• Böhm's theorem for resource lambda calculus through Taylor expansion
• scientific article; zbMATH DE number 3897506 (Why is no real title available?)
• scientific article; zbMATH DE number 3912354 (Why is no real title available?)
• Infinite subscripts from infinite exponents
• Relational graph models at work
• scientific article; zbMATH DE number 7089070 (Why is no real title available?)
• Essential and relational models
• Exponential triples
• Graded differential categories and graded differential linear logic
• Semantic bounds and multi types, revisited
• Unifying graded linear logic and differential operators
• Title not available (Why is no real title available?)

This page was built for publication: Exponentials with infinite multiplicities

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