𝔖 Bobbio Scriptorium

✦ LIBER ✦

Scott induction and equational proofs : Zoltan Ésik and L. Bernátsky http://www.elsevier.nl/locate/entcs/volume1/esik

Book ID: 107948898
Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 80 KB
Volume: 152
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(96)80122-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Maximal limit spaces, powerspaces, and S

Maximal limit spaces, powerspaces, and Scott domains : D.N. Hoover http://www.elsevier.nl/locate/entcs/volume1/hoover

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 148 KB

Operational semantics of a focusing debu

Operational semantics of a focusing debugger : Karen L. Bernstein and Eugene W. Stark http://www.elsevier.nl/locate/entcs/volume1/bernstein

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 80 KB

Type influence for recursively constrain

Type influence for recursively constrained types and its application to OOP : Jonathan Eifrig, Scott Smith and Valery Trifonov http://www.elsevier.nl/locate/entcs/volume1/eifrig

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 80 KB