Environmental bisimulations for higher-order languages (2007)

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