For the Metatheory of Type Theory, Internal Sconing Is Enough.

Rafaël Bocquet Ambrus Kaposi Christian Sattler

Published in: CoRR (2023)

Keyphrases

theoretical basis
website
theoretical framework
grounded theory
information retrieval
decision making
expert systems
computational model