Login / Signup
An untyped higher order logic with Y combinator.
James H. Andrews
Published in:
J. Symb. Log. (2007)
Keyphrases
</>
higher order logic
higher order
theorem prover
conditional logic
logical framework
machine learning
data representation
constraint satisfaction
belief revision
feature construction