✦ LIBER ✦

Games and Full Abstraction for FPC

✍ Scribed by Guy McCusker

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Full Abstraction for PCF

✍ Samson Abramsky; Radha Jagadeesan; Pasquale Malacaria 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 509 KB

Full abstraction for polymorphic -calcul

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

Strong Fairness and Full Abstraction for

✍ Susan Older 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 296 KB

Types and full abstraction for polyadic

✍ Paola Quaglia; David Walker 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 376 KB

Full Abstraction for Strongly Fair Commu

✍ Stephen Brookes; Susan Older 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 1018 KB

τ-Bisimulations and full abstraction for

✍ F. Cherief; Ph. Schnoebelen 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 525 KB