Extensionality and intensionality of the ambient logics

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.375707 ◽

2001 ◽

Cited By ~ 36

Author(s):

Davide Sangiorgi

Download Full-text