L. Gregory Meredith

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

L. Gregory Meredith, Matthias Radestock
Namespace Logic: A Logic for a Reflective Higher-Order Calculus. TGC (2005)
L. Gregory Meredith, Matthias Radestock
A Reflective Higher-order Calculus. Electron. Notes Theor. Comput. Sci. 141 (5) (2005)
Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith
PiDuce: A Process Calculus with Native XML Datatypes. EPEW/WS-FM (2005)