✦ LIBER ✦

Intersection and Union Types in the -calculus

✍ Scribed by Daniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne

Book ID: 108126548
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 339 KB
Volume: 136
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.06.010

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Full Intersection Types and Topologies i

Full Intersection Types and Topologies in Lambda Calculus

✍ Silvia Ghilezan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 136 KB

Topologies are introduced on the set of lambda terms by their typeability in the full intersection type assignment system. These topologies give rise to simple proofs of some fundamental results of the lambda calculus such as the continuity theorem and the genericity lemma. We show that application

Reducibility: A ubiquitous method in lam

Reducibility: A ubiquitous method in lambda calculus with intersection types

✍ Silvia Ghilezan; Silvia Likavec 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 203 KB

A binary modal logic for the intersectio

A binary modal logic for the intersection types of lambda-calculus

✍ Silvio Valentini; Matteo Viale 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 196 KB

Unions and intersections in homotopy the

Unions and intersections in homotopy theory

✍ B. Eckmann; P. J. Hilton 📂 Article 📅 1963 🏛 European Mathematical Society 🌐 English ⚖ 735 KB

Spatial and behavioral types in the pi-c

Spatial and behavioral types in the pi-calculus

✍ Lucia Acciai; Michele Boreale 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 694 KB

On the Hardness of Computing Intersectio

On the Hardness of Computing Intersection, Union and

✍ Hans Raj Tiwary 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 317 KB