A General Framework for the Semantics of Type Theory.

Published in: CoRR (2019)

Keyphrases

theoretical framework
logical framework
database query languages
keywords
proof theory
theoretical foundation
speech acts
theoretical basis
communicative acts
proof theoretic
logical properties
owl ontologies
databases
computational model
logic programming
query language
artificial intelligence
learning algorithm