✦ LIBER ✦

Bisimilarity as a theory of functional programming : Andrew D. Gordon http://www.elsevier.nl/locate/entcs/volume1/gordon

Book ID: 103683302
Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 78 KB
Volume: 152
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(96)80123-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complexity and computability from a prog

Complexity and computability from a programming language perspective : Neil D. Jones http://www.elsevier.nl/locate/entcs/volume1/jones

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

Bisimilarity as a theory of functional p

✍ Andrew D. Gordon 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 248 KB

Morris-style contextual equivalence -invariance of termination under any context of ground type -is the usual notion of operational equivalence for deterministic functional languages such as PCF. Contextual equivalence is hard to establish directly. Instead, we deÿne a labelled transition system for