Intersection Typed λ-calculus

DOI10.1016/S1571-0661(04)80496-1zbMath1270.03032MaRDI QIDQ2842843

Simonetta Ronchi della Rocca

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (4)

A Realizability Interpretation for Intersection and Union Types ⋮ Intersection-types à la Church ⋮ 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

Cites Work

• Coppo-Dezani types do not correspond to propositional logic
• The lambda calculus. Its syntax and semantics. Rev. ed.
• An extension of basic functionality theory for \(\lambda\)-calculus
• Complete restrictions of the intersection type discipline
• Perturbative renormalization of moments of quark momentum, helicity and transversity distributions with overlap and Wilson fermions
• Intersection Types as Logical Formulae
• A calculus with polymorphic and polyvariant flow types
• Hyperformulae, Parallel Deductions and Intersection Types
• Unnamed Item
• Unnamed Item

This page was built for publication: Intersection Typed λ-calculus