Exponentials with Infinite Multiplicities
From MaRDI portal
Publication:3586041
DOI10.1007/978-3-642-15205-4_16zbMath1287.03035MaRDI 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 logic; denotational semantics; lambda-calculus; differential lambda-calculus; resource lambda-calculus; non-sensible models
03G30: Categorical logic, topoi
16Y60: Semirings
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B40: Combinatory logic and lambda calculus
Related Items
Unnamed Item, Unnamed Item, Essential and relational models, What is a categorical model of the differential and the resource λ-calculi?, The Free Exponential Modality of Probabilistic Coherence Spaces, Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion