Hyperformulae, Parallel Deductions and Intersection Types

DOI10.1016/S1571-0661(04)00172-0zbMath1261.03072WikidataQ124439142 ScholiaQ124439142MaRDI QIDQ4916178

Michele Loreti, Beatrice Capitani, Betti Venneri

Publication date: 19 April 2013

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (8)

A Realizability Interpretation for Intersection and Union Types ⋮ Intersection-types à la Church ⋮ A typed lambda calculus with intersection types ⋮ Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Relevance of Semantic Subtyping ⋮ Intersection Typed λ-calculus

Uses Software

• Automath

Cites Work

• The lambda calculus, its syntax and semantics
• Hypersequents, logical consequence and intermediate logics for concurrency
• A new type assignment for λ-terms
• A filter lambda model and the completeness of type assignment
• Functional Characters of Solvable Terms
• Intersection Types as Logical Formulae
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hyperformulae, Parallel Deductions and Intersection Types