Factoring Derivation Spaces via Intersection Types (Extended Version).

Pablo Barenbaum Gonzalo Ciruelos

Published in: CoRR (2019)

Keyphrases

database
databases
artificial intelligence
website
three dimensional
similarity measure
multi agent
computer science
digital libraries