L. Gregory Meredith, Matthias Radestock. Namespace Logic: A Logic for a Reflective Higher-Order Calculus. In Rocco De Nicola, Davide Sangiorgi, editors, Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. Volume 3705 of Lecture Notes in Computer Science, pages 353-369, Springer, 2005. [doi]
Abstract is missing.