Login / Signup
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