✦ LIBER ✦

A Quantum Game Semantics for the Measurement Calculus

✍ Scribed by Yannick Delbecque

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concurrent Semantics for the π-calculus

✍ Ugo Montanari; Marco Pistore 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 954 KB

Logical Semantics for the Rewriting Calc

✍ Aaron Stump; Carsten Schürmann 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 252 KB

Semantic subtyping for the pi-calculus

✍ Giuseppe Castagna; Rocco De Nicola; Daniele Varacca 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 876 KB

Game Semantics for the Lambek-Calculus:

✍ Sharon Shoham; Nissim Francez 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 343 KB

A game semantics for generic polymorphis

✍ Samson Abramsky; Radha Jagadeesan 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 360 KB

Semantics for the sentential calculus wi

✍ Stephen L. Bloom; Roman Suszko 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 225 KB