✦ LIBER ✦

A game semantics for generic polymorphism

✍ Scribed by Samson Abramsky; Radha Jagadeesan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Intertextual semantics: A semantics for

✍ Yves Marcoux; Élias Rizkallah 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 120 KB 👁 1 views

SCC-recursiveness: a general schema for

✍ Pietro Baroni; Massimiliano Giacomin; Giovanni Guida 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 369 KB

DATAPLAN: An interface generator for dat

✍ Tosiyasu L. Kunii 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 840 KB

A generalized inspection game

✍ V. J. Baston; F. A. Bostock 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 538 KB

A generalized assignment game

✍ Ester Camiña 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 156 KB

A semantics for λProlog

✍ D.A. Wolfram 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 666 KB