Profinite lambda-terms and parametricity.

Sam van Gool Paul-André Melliès Vincent Moreau

Published in: CoRR (2023)

Keyphrases

artificial intelligence
search algorithm
evolutionary algorithm
mobile robot
real time
data sets
information retrieval
database systems
multi agent
expert systems
special case
co occurrence