Environmental bisimulations for higher-order languages

Article CLOSED
Davide Sangiorgi ; Naoki Kobayashi ; Eijiro Sumii (2011)
Share - Bookmark