✦ LIBER ✦

Typing in Pure Type Systems

✍ Scribed by L.S.V. Jutting

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The expansion postponement in Pure Type

✍ Fangmin Song 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 444 KB

Syntactic analysis of η-expansions in Pu

✍ Felix Joachimski 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 225 KB

[Lecture Notes in Computer Science] Type

✍ Bezem, Marc; Groote, Jan Friso 📂 Article 📅 1993 🏛 Springer-Verlag ⚖ 865 KB

Cut Elimination in a Class of Sequent Ca

✍ Francisco Gutiérrez; Blas Ruiz 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 910 KB

Pure-state entanglement and spontaneous

✍ Cheng, Jiong; Han, Yan; Zhou, Ling 📂 Article 📅 2011 🏛 Institute of Physics 🌐 English ⚖ 361 KB

[Lecture Notes in Computer Science] Type

✍ Della Rocca, Simona Ronchi 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 387 KB