✦ LIBER ✦

Linear Types for Higher Order Processes with First Class Directed Channels

✍ Scribed by Georg Schied; Klaus Barthelmann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On a discrimination problem for a class

✍ Antonio Di Crescenzo; Luigi M. Ricciardi 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB 👁 1 views