L. Gregory Meredith

According to our database, L. Gregory Meredith authored at least 3 papers in 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

A Reflective Higher-order Calculus.

L. Gregory Meredith, Matthias Radestock

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

Namespace Logic: A Logic for a Reflective Higher-Order Calculus.

L. Gregory Meredith, Matthias Radestock

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

PiDuce: A Process Calculus with Native XML Datatypes.

Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005