A general framework for the semantics of type theory.

Published in: Math. Struct. Comput. Sci. (2023)

Keyphrases

general theory
semantic information
proof theoretic
neural network
abstract argumentation frameworks
logic programming
theoretical framework
logical properties
abstract argumentation
logical framework
speech acts
artificial intelligence
model theoretic
formal theory
proof theory
information retrieval
real time