-calculus and its intersection type discipline.

Ugo de'Liguoro Riccardo Treglia

Published in: Theor. Comput. Sci. (2020)

Keyphrases

type checking
information systems
computer science
expressive power
database
neural network
machine learning
decision making
knowledge base
decision trees
mobile robot