Global types with internal delegation.

Ilaria Castellani Mariangiola Dezani-Ciancaglini Paola Giannini Ross Horne

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

Keyphrases

conflict resolution
machine learning
expert systems
internal and external
databases
artificial intelligence
database systems
similarity measure
hidden markov models
access control
access control systems