![]() | ![]() |
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] |