William Lovas

	2010
3		William Lovas, Frank Pfenning: Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance Logical Methods in Computer Science 6(4): (2010)
	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

1

Frank Pfenning

[1] [2] [3]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page