Intersection types for a λ-calculus with global store.

Ugo de'Liguoro Riccardo Treglia

Published in: PPDP (2021)

Keyphrases

data mining
real world
information retrieval
genetic algorithm
artificial intelligence
computer vision
web services
data structure
learning environment
natural language
digital libraries
computer algebra