Raymond McDowell

According to our database, Raymond McDowell authored at least 4 papers between 1997 and 2003.

Collaborative distances:

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

2003

Encoding transition systems in sequent calculus.

Raymond McDowell, Dale Miller, Catuscia Palamidessi

Theor. Comput. Sci., 2003

2002

Reasoning with higher-order abstract syntax in a logical framework.

Raymond McDowell, Dale Miller

ACM Trans. Comput. Log., 2002

2000

Cut-elimination for a logic with definitions and induction.

Raymond McDowell, Dale Miller

Theor. Comput. Sci., 2000

1997

A Logic for Reasoning with Higher-Order Abstract Syntax.

Raymond McDowell, Dale Miller

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997