Sciweavers

TLCA
2009
Springer

Refinement Types as Proof Irrelevance

14 years 4 months ago
Refinement Types as Proof Irrelevance
William Lovas, Frank Pfenning
Added 27 Jul 2010
Updated 27 Jul 2010
Type Conference
Year 2009
Where TLCA
Authors William Lovas, Frank Pfenning
Comments (0)