✦ LIBER ✦

The simply typed rewriting calculus

✍ Scribed by Horatiu Cirstea; Claude Kirchner

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inhabitation of Types in the Simply Type

✍ W. Dekkers 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 183 KB

Rewriting Calculus with(out) Types

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

Functions over free algebras definable i

✍ Daniel Leivant 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 805 KB

Enhancing dependency pair method using s

✍ Keiichirou Kusakari; Masahiko Sakai 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 394 KB

General recursive functions in a very si

✍ G. Jacopini; G. Sontacchi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 526 KB

Short proofs of normalization for the si

✍ Felix Joachimski; Ralph Matthes 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 302 KB