Extensionality and Intensionality of the Ambient Logics

Cached

Download Links

by Davide Sangiorgi
Citations:44 - 3 self

Document Versions

Extensionality and Intensionality of the Ambient Logics –Davide Sangiorgi
Extensionality and Intensionality of the Ambient Logics –Davide Sangiorgi — 2000 — In Proc. 28th POPL