| |
| * | 2009 | |
|---|---|---|
| 2 | EE | William Lovas, Frank Pfenning: Refinement Types as Proof Irrelevance. TLCA 2009: 157-171 |
| 2008 | ||
| 1 | EE | William Lovas, Frank Pfenning: A Bidirectional Refinement Type System for LF. Electr. Notes Theor. Comput. Sci. 196: 113-128 (2008) |
| 1 | Frank Pfenning | [1] [2] |