✦ LIBER ✦

Syntactic Calculus with Dependent Types

✍ Scribed by Aarne Ranta

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Syntactic Type Soundness for the Region

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

Syntactic Type Soundness Results for the

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

Rewriting Calculus with(out) Types

✍ Horatiu Cirstea; Claude Kirchner; Luigi Liquori 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 258 KB

Syntactic analysis in sentence comprehen

✍ Marica De Vincenzi 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 894 KB

Reducibility: A ubiquitous method in lam

✍ Silvia Ghilezan; Silvia Likavec 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 203 KB

Cut elimination for a calculus with cont

✍ Birgit Elbl 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 157 KB