The Intersection Type Unification Problem.

Andrej Dudenhefner Moritz Martens Jakob Rehof

Published in: FSCD (2016)

Keyphrases

higher order
real time
information systems
real world
information retrieval
knowledge base
metadata
website
multi agent
data structure
computational complexity
management system
theorem proving