| |
| 2009 | ||
|---|---|---|
| 4 | EE | Jason Reed, Frank Pfenning: Intuitionistic Letcc via Labelled Deduction. Electr. Notes Theor. Comput. Sci. 231: 91-111 (2009) |
| 2008 | ||
| 3 | EE | Jason Reed: Redundancy Elimination for LF. Electr. Notes Theor. Comput. Sci. 199: 89-106 (2008) |
| 2007 | ||
| 2 | EE | Jason Reed: Hybridizing a Logical Framework. Electr. Notes Theor. Comput. Sci. 174(6): 135-148 (2007) |
| 2003 | ||
| 1 | EE | Jason Reed: Extending Higher-Order Unification to Support Proof Irrelevance. TPHOLs 2003: 238-252 |
| 1 | Frank Pfenning | [4] |