✦ LIBER ✦

Full abstraction for polymorphic -calculus

✍ Scribed by Alan Jeffrey; Julian Rathke

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Types and full abstraction for polyadic

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

Full Abstraction for PCF

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

When not losing is better than winning:

✍ 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

A Sequent Calculus for Subtyping Polymor

✍ Jerzy Tiuryn 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 254 KB

Full Abstraction for Strongly Fair Commu

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