Layered Modal Type Theories.

Jason Z. S. Hu Brigitte Pientka

Published in: CoRR (2023)

Keyphrases

databases
database
theoretical framework
modal logic
neural network
search engine
image processing
wide range
search algorithm
multiple types