Proving congruence of bisimulation in functional programming languages (1996)

Cached

Download Links

by Douglas J. Howe
Venue:Information and Computation
Citations:106 - 1 self

Document Versions

Proving congruence of bisimulation in functional programming languages –Douglas J. Howe — 1996 — Information and Computation
Proving Congruence of Bisimulation in Functional Programming Languages –Douglas J. Howe — 1996 — INFORMATION AND COMPUTATION
Proving Congruence of Bisimulation in Functional Programming Languages –Douglas J. Howe, Douglas J. Howe, Douglas J. Howe — 1996