✦ LIBER ✦

An Interpretation of Typed Objects into Typedπ-Calculus

✍ Scribed by Davide Sangiorgi

Book ID: 112252351
Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 440 KB
Volume: 143
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1998.2711

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Typed ?-calculus at work: A correctness

Typed ?-calculus at work: A correctness proof of Jones's parallelisation transformation on concurrent objects

✍ Sangiorgi, Davide 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 118 KB

Cliff Jones has proposed transformations between concrete programs and general transformation rules that increase concurrency in a system of objects, and has raised the challenge of how to prove their validity. We present a proof of correctness of the hardest of Jones's concrete transformations. The

An implementation model of the typed λ-c

An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine

✍ Shinya Sato; Toru Sugimoto; Shinichi Yamada 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 354 KB

A possible interpretation of the optical

A possible interpretation of the optical spectrum for BL Lac-type objects

✍ L. S. Nazarova; A. S. Zentsova 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 369 KB

Relational Interpretations of Recursive

Relational Interpretations of Recursive Types in an Operational Setting

✍ Lars Birkedal; Robert Harper 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 485 KB

An interference-type null detector for t

An interference-type null detector for the angular position of an object

✍ E. P. Krivtsov; P. A. Pavlov; Yu. V. Filatov; A. M. Yudin 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 289 KB

An insight into the genetics of type 1 D

An insight into the genetics of type 1 Diabetes

✍ Laura Espino-Paisán; Elena Urcelay; Jose Luis Santiago 📂 Article 📅 2009 🏛 Grupo Aran 🌐 Spanish ⚖ 473 KB