Raymond McDowell

	2003
6		Raymond McDowell, Dale Miller, Catuscia Palamidessi: Encoding transition systems in sequent calculus. Theor. Comput. Sci. 294(3): 411-437 (2003)
	2002
5		Raymond McDowell, Dale Miller: Reasoning with higher-order abstract syntax in a logical framework. ACM Trans. Comput. Log. 3(1): 80-136 (2002)
	2000
4		Raymond McDowell, Dale Miller: Reasoning with Higher-Order Abstract Syntax in a Logical Framework CoRR cs.LO/0003062: (2000)
3		Raymond McDowell, Dale Miller: Cut-elimination for a logic with definitions and induction. Theor. Comput. Sci. 232(1-2): 91-119 (2000)
	1997
2		Raymond McDowell, Dale Miller: A Logic for Reasoning with Higher-Order Abstract Syntax. LICS 1997: 434-445
	1996
1		Raymond McDowell, Dale Miller, Catuscia Palamidessi: Encoding Transition Systems in Sequent Calculus. Electr. Notes Theor. Comput. Sci. 3: (1996)

Coauthor Index

1	Dale Miller	[1] [2] [3] [4] [5] [6]
2	Catuscia Palamidessi	[1] [6]