✦ LIBER ✦

Types and full abstraction for polyadic π-calculus

✍ Scribed by Paola Quaglia; David Walker

Book ID: 113641576
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 376 KB
Volume: 200
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2005.03.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Full abstraction for polymorphic -calcul

Full abstraction for polymorphic -calculus

✍ Alan Jeffrey; Julian Rathke 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 489 KB

Type inference for a distributed π-calcu

Type inference for a distributed π-calculus

✍ Cédric Lhoussaine 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 580 KB

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

A Fully Abstract Model for the π-calculu

A Fully Abstract Model for the π-calculus

✍ M.P. Fiore; E. Moggi; D. Sangiorgi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 309 KB

When not losing is better than winning:

When not losing is better than winning: Abstraction and refinement for the full μ-calculus

✍ Orna Grumberg; Martin Lange; Martin Leucker; Sharon Shoham 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 376 KB

Games and Full Abstraction for FPC

✍ Guy McCusker 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 591 KB