Semantics for two-dimensional type theory.

Benedikt Ahrens Paige Randall North Niels van der Weide

Published in: LICS (2022)

Keyphrases

three dimensional
general theory
theoretical framework
speech acts
model theoretic
proof theory
logic programming
logical properties
information retrieval
artificial intelligence
search engine
algebraic structure
closed world assumption