Jason Reed

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

Coauthor Index

1

Frank Pfenning

[4]