✦ LIBER ✦

The Calculus of Context-aware Ambients

✍ Scribed by François Siewe; Hussein Zedan; Antonio Cau

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Logical Approach to Security in the Co

✍ Radu Mardare; Corrado Priami 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 327 KB

A Calculus of Lambda Calculus Contexts

✍ Mirna Bognar; Roel de Vrijer 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 207 KB

Types for the Ambient Calculus

✍ Luca Cardelli; Giorgio Ghelli; Andrew D. Gordon 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 245 KB

The λ-context Calculus

✍ Murdoch J. Gabbay; Stéphane Lengrand 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 332 KB

Hybrid logical analyses of the ambient c

✍ Thomas Bolander; René Rydhof Hansen 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 821 KB

Ambient Calculus and its Logic in the Ca

✍ Ivan Scagnetto; Marino Miculan 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 240 KB