William Lovas

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 William Lovas, Frank Pfenning: Refinement Types as Proof Irrelevance. TLCA 2009: 157-171

2008

1 William Lovas, Frank Pfenning: A Bidirectional Refinement Type System for LF. Electr. Notes Theor. Comput. Sci. 196: 113-128 (2008)

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

Coauthor Index