Sign in
Refinement Types as Proof Irrelevance.
William Lovas
Frank Pfenning
Published in:
TLCA (2009)
Keyphrases
</>
feature selection
website
desirable properties
theorem prover
theorem proving
database
data model
special case