✦ LIBER ✦

Syntactical Analysis of the Class Calculus

✍ Scribed by Bergmann, Gustav

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Syntactical Analysis of the Class Calcul

✍ Review by: Everett J. Nelson 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 199 KB

Syntactic Type Soundness for the Region

✍ Simon Helsen; Peter Thiemann 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 193 KB

Syntactical Proximity: Partial Syntactic

✍ Yamamoto, Takeo; Fujiwara, Shizuo 📂 Article 📅 1971 🏛 American Chemical Society ⚖ 217 KB

Cut-Rule Axiomatization of the Syntactic

✍ Wojciech Zielonka 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 31 KB

Cut-Rule Axiomatization of the Syntactic

✍ Wojciech Zielonka 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 75 KB

Syntactic Type Soundness Results for the

✍ Cristiano Calcagno; Simon Helsen; Peter Thiemann 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 206 KB