✦ LIBER ✦

Functorial bounds for cut elimination inL βω . I

✍ Scribed by Ferbus, Marie-Christine

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functorial bounds for cut elimination in

✍ Ferbus, Marie-Christine 📂 Article 📅 1985 🏛 Springer-Verlag ⚖ 297 KB

Bounds for cut elimination in intuitioni

✍ Jörg Hudelmaier 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 979 KB

Cut-elimination for impredicative infini

✍ Pohlers, W. 📂 Article 📅 1981 🏛 Springer-Verlag ⚖ 942 KB