✦ LIBER ✦

Full Abstraction for PCF

✍ Scribed by Samson Abramsky; Radha Jagadeesan; Pasquale Malacaria

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Full abstraction for polymorphic -calcul

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

Games and Full Abstraction for FPC

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

Full Abstraction for Strongly Fair Commu

✍ Stephen Brookes; Susan Older 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 1018 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 Idealized Algol wit

✍ Samson Abramsky; Guy McCusker 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 251 KB