| 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 |