𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Analysis of Gödel's dialectica Interpretation via Linear Logic

✍ Scribed by Paulo Oliva


Book ID
111367596
Publisher
John Wiley and Sons
Year
2008
Tongue
English
Weight
799 KB
Volume
62
Category
Article
ISSN
0012-2017

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Tool
✍ Halbwachs, Nicolas; Zuck, Lenore D. 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 311 KB

Etaps 2005 Was The Eighth Instance Of The European Joint Conferences On Theory And Practice Of Software. Etaps Is An Annual Federated Conference That Was Established In 1998 By Combining A Number Of Existing And New Conf- Ences. This Year It Comprised ?ve Conferences (cc, Esop, Fase, Fossacs, Tacas)