Environmental bisimulations for higher-order languages (2007)
Cached
Download Links
- [www.cs.unibo.it]
- [www.cs.unibo.it]
- [www.yl.is.s.u-tokyo.ac.jp]
- [web.yl.is.s.u-tokyo.ac.jp]
- [www.kb.ecei.tohoku.ac.jp]
- [www.kb.ecei.tohoku.ac.jp]
- DBLP
Other Repositories/Bibliography
by
Davide Sangiorgi
| Venue: | In Twenty-Second Annual IEEE Symposium on Logic in Computer Science |
| Citations: | 26 - 9 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 |
