✦ LIBER ✦

Cut Elimination in a Class of Sequent Calculi for Pure Type Systems

✍ Scribed by Francisco Gutiérrez; Blas Ruiz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lyapunov-type inequality for a class of

✍ Xiaojing Yang; Yong-In Kim; Kueiming Lo 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 209 KB

Instability in the critical case of pair

✍ V.S. Sergeyev 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 406 KB

A trial phase function method for a clas

✍ Brian J Welsh; Jagannathan Gomatam 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 937 KB