| |
| 2005 | ||
|---|---|---|
| 3 | EE | Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith: PiDuce: A Process Calculus with Native XML Datatypes. EPEW/WS-FM 2005: 18-34 |
| 2 | EE | L. Gregory Meredith, Matthias Radestock: Namespace Logic: A Logic for a Reflective Higher-Order Calculus. TGC 2005: 353-369 |
| 1 | EE | L. Gregory Meredith, Matthias Radestock: A Reflective Higher-order Calculus. Electr. Notes Theor. Comput. Sci. 141(5): 49-67 (2005) |
| 1 | Allen L. Brown Jr. | [3] |
| 2 | Cosimo Laneve | [3] |
| 3 | Matthias Radestock | [1] [2] |