𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proving Congruence of Bisimulation in Functional Programming Languages

✍ Scribed by Douglas J. Howe


Book ID
112252201
Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
498 KB
Volume
124
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES