Non-idempotent intersection types in logical form

DOI10.1007/978-3-030-45231-5_11OpenAlexW3022089194MaRDI QIDQ2200821

Thomas Ehrhard

Publication date: 23 September 2020

Full work available at URL: https://arxiv.org/abs/1911.01899

zbMATH Keywords

linear logicdenotational semanticslambda calculusintersection types

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Scott model of linear logic is the extensional collapse of its relational model
• Coppo-Dezani types do not correspond to propositional logic
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Normal functors, power series and \(\lambda\)-calculus
• An extension of basic functionality theory for \(\lambda\)-calculus
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• Intersection-types à la Church
• Functional Characters of Solvable Terms
• Execution time of λ-terms via denotational semantics and intersection types
• On phase semantics and denotational semantics: The exponentials