Intersection-types à la Church

DOI10.1016/j.ic.2007.03.005zbMath1125.68031OpenAlexW2042823881MaRDI QIDQ2381503

Luigi Liquori, Simonetta Ronchi della Rocca

Publication date: 18 September 2007

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01148282/file/2007-ic-07.pdf

zbMATH Keywords

\(\lambda\)-Calculus à la Curry and à la ChurchLogics and intersection-types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (8)

A Realizability Interpretation for Intersection and Union Types ⋮ Non-idempotent intersection types in logical form ⋮ On Isomorphisms of Intersection Types ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ A typed lambda calculus with intersection types ⋮ Unnamed Item ⋮ Refinement Types as Proof Irrelevance ⋮ Inhabitation of Low-Rank Intersection Types

Uses Software

• Forsythe

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coppo-Dezani types do not correspond to propositional logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• An extension of basic functionality theory for \(\lambda\)-calculus
• Comparing cubes of typed and type assignment systems
• Intersection Typed λ-calculus
• A filter lambda model and the completeness of type assignment
• A calculus with polymorphic and polyvariant flow types
• Simple type-theoretic foundations for object-oriented programming
• Hyperformulae, Parallel Deductions and Intersection Types

This page was built for publication: Intersection-types à la Church