William Lovas

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

William Lovas, Frank Pfenning
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance Log. Methods Comput. Sci. 6 (4) (2010)
William Lovas, Frank Pfenning
Refinement Types as Proof Irrelevance. TLCA (2009)
William Lovas, Frank Pfenning
A Bidirectional Refinement Type System for LF. Electron. Notes Theor. Comput. Sci. 196 (2008)