Unboundedness for Recursion Schemes: A Simpler Type System.

David Barozzini Pawel Parys Jan Wroblewski

Published in: ICALP (2022)

Keyphrases

deductive databases
real time
data mining
real world
information retrieval
artificial intelligence
computer vision
decision making
multi agent
multiresolution
hidden markov models
management system
complex objects