| |
| 2003 | ||
|---|---|---|
| 6 | Raymond McDowell, Dale Miller, Catuscia Palamidessi: Encoding transition systems in sequent calculus. Theor. Comput. Sci. 294(3): 411-437 (2003) | |
| 2002 | ||
| 5 | EE | 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 | EE | Raymond McDowell, Dale Miller: Reasoning with Higher-Order Abstract Syntax in a Logical Framework CoRR cs.LO/0003062: (2000) |
| 3 | EE | Raymond McDowell, Dale Miller: Cut-elimination for a logic with definitions and induction. Theor. Comput. Sci. 232(1-2): 91-119 (2000) |
| 1997 | ||
| 2 | EE | Raymond McDowell, Dale Miller: A Logic for Reasoning with Higher-Order Abstract Syntax. LICS 1997: 434-445 |
| 1996 | ||
| 1 | EE | Raymond McDowell, Dale Miller, Catuscia Palamidessi: Encoding Transition Systems in Sequent Calculus. Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 1 | Dale Miller | [1] [2] [3] [4] [5] [6] |
| 2 | Catuscia Palamidessi | [1] [6] |