Environmental bisimulations for higher-order languages (2007)

by Davide Sangiorgi
Venue:In Twenty-Second Annual IEEE Symposium on Logic in Computer Science
Citations:33 - 10 self

Document Versions

Environmental bisimulations for higher-order languages –Davide Sangiorgi — 2007 — In Twenty-Second Annual IEEE Symposium on Logic in Computer Science
Environmental bisimulations for higherorder languages –Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii — 2007 — In Twenty-Second Annual IEEE Symposium on Logic in Computer Science
Environmental bisimulations for higher-order languages –Davide Sangiorgi — 2007 — In Twenty-Second Annual IEEE Symposium on Logic in Computer Science