Exponentials with Infinite Multiplicities
From MaRDI portal
Publication:3586041
DOI10.1007/978-3-642-15205-4_16zbMath1287.03035OpenAlexW4297950546MaRDI QIDQ3586041
Thomas Ehrhard, Antonino Salibra, Alberto Carraro
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
linear logicdenotational semanticslambda-calculusdifferential lambda-calculusresource lambda-calculusnon-sensible models
Categorical logic, topoi (03G30) Semirings (16Y60) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items (6)
What is a categorical model of the differential and the resource λ-calculi? ⋮ Unnamed Item ⋮ The Free Exponential Modality of Probabilistic Coherence Spaces ⋮ Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion ⋮ Unnamed Item ⋮ Essential and relational models
This page was built for publication: Exponentials with Infinite Multiplicities
