✦ LIBER ✦

Full abstraction for Idealized Algol with passive expressions

✍ Scribed by Samson Abramsky; Guy McCusker

Book ID: 104326721
Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 251 KB
Volume: 227
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(99)00047-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Linearity, Sharing and State: a fully ab

Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions: Extended Abstract

✍ Samson Abramsky; Guy McCusker 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 642 KB

Evidence for (shared) abstract structure

Evidence for (shared) abstract structure underlying children’s short and full passives

✍ Katherine Messenger; Holly P. Branigan; Janet F. McLean 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 261 KB

Full Passive UHF Tag With a Temperature

Full Passive UHF Tag With a Temperature Sensor Suitable for Human Body Temperature Monitoring

✍ Vaz, A.; Ubarretxena, A.; Zalbide, I.; Pardo, D.; Solar, H.; Garcia-Alonso, A.; 📂 Article 📅 2010 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 714 KB

Passive nonlinear observer design for sh

Passive nonlinear observer design for ships using lyapunov methods: full-scale experiments with a supply vessel

✍ Thor I Fossen; Jann Peter Strand 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 553 KB

Full Abstractness for a Functional/Concu

Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing

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

Transgenic TCR expression: comparison of

Transgenic TCR expression: comparison of single chain with full-length receptor constructs for T-cell function

✍ Tsang, Tom C; Harris, David T; Zhang, Tong; He, Xianghui 📂 Article 📅 2004 🏛 Nature Publishing Group 🌐 English ⚖ 324 KB