Semantics of multimodal adjoint type theory.

Michael Shulman

Published in: CoRR (2023)

Keyphrases

multi modal
model theoretic
semantic information
general theory
neural network
logic programming
computational model
theoretical framework
theoretical basis
logical properties
conceptual graphs
speech acts
formal languages
proof theory
proof theoretic