Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance

William Lovas Frank Pfenning

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

high level
neural network
desirable properties
machine learning
artificial intelligence
relational databases
artificial neural networks
theorem prover
image interpretation
logical reasoning