Login / Signup
The Intersection Type Unification Problem.
Andrej Dudenhefner
Moritz Martens
Jakob Rehof
Published in:
CoRR (2016)
Keyphrases
</>
management system
higher order
machine learning
genetic algorithm
decision making
knowledge base
learning environment
probability distribution
theorem prover