✦ LIBER ✦

Typing termination in a higher-order concurrent imperative language

✍ Scribed by Gérard Boudol

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Termination in higher-order concurrent c

✍ Romain Demangeon; Daniel Hirschkoff; Davide Sangiorgi 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 885 KB

Full Abstractness for a Functional/Concu

✍ Chrysafis Hartonas; Matthew Hennessy 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 767 KB

A Normative Model of Classical Reasoning

✍ Peter Zahn 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 352 KB

The grounding of higher order concepts i

✍ Francesca Stramandinoli; Davide Marocco; Angelo Cangelosi 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 816 KB

[Lecture Notes in Computer Science] From

✍ Owe, Olaf; Krogdahl, Stein; Lyche, Tom 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 405 KB

[Lecture Notes in Computer Science] From

✍ Owe, Olaf; Krogdahl, Stein; Lyche, Tom 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 405 KB