✦ LIBER ✦

A correspondence between type checking via reduction and type checking via evaluation

✍ Scribed by Ilya Sergey; Dave Clarke

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Nature and landscape production potentia

✍ Roberto Rossi; Dionisio Nota 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 117 KB

The effect of religiosity on political i

✍ Özlem Dirilen-Gümüş 📂 Article 📅 2010 🏛 Elsevier 🌐 English ⚖ 148 KB

Reduction of electron accumulation at In

✍ Eisenhardt, A.; Reiß, S.; Krischok, S.; Himmerlich, M. 📂 Article 📅 2014 🏛 American Institute of Physics 🌐 English ⚖ 715 KB

Activation of ErbB-2 via a hierarchical

✍ Balañá, Maria Eugenia; Labriola, Leticia; Salatino, Mariana; Movsichoff, Federic 📂 Article 📅 2001 🏛 Nature Publishing Group 🌐 English ⚖ 422 KB

Fluorinated stannanes: Part 2. The stere

✍ Donald J. Burton; Vinod Jairaj 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 183 KB

Fluorinated Stannanes. Part 2. The Stere

✍ Donald J. Burton; Vinod Jairaj 📂 Article 📅 2005 🏛 John Wiley and Sons ⚖ 17 KB 👁 1 views