Extensionality and intensionality of the ambient logics, in (2000)

by D Sangiorgi
Venue:Proc. 28th ACM Symp. Principles of Programming Languages (POPL’01), ACM