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 |
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2010 The Pennsylvania State University