✦ LIBER ✦

Pure type systems with judgemental equality

✍ Scribed by ADAMS, ROBIN

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modal Pure Type Systems

✍ Tijn Borghuis 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 238 KB

Type Inference for Pure Type Systems

✍ Paula Severi 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 316 KB

Typing in Pure Type Systems

✍ L.S.V. Jutting 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 386 KB

A Dynamical Systems Analysis of Semidefi

✍ R. J. Orsi; R. E. Mahony; J. B. Moore 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 146 KB

The expansion postponement in Pure Type

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

Batching system with weight equalizer

✍ V. G. Ponomarenko; V. M. Gutorov; E. M. Kosovtsov 📂 Article 📅 1970 🏛 Springer 🌐 English ⚖ 261 KB