Extensionality and intensionality of the ambient logic (0)

by Davide Sangiorgi
Venue:In Proc. of the 28th Intl. Conf. on Principles of Programming Languages (POPL’01