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

Rafaël Bocquet Ambrus Kaposi Christian Sattler

Published in: FSCD (2023)

Keyphrases

general theory
theoretical framework
information retrieval
multiscale
computational model
theoretical basis
formal theory
real time
neural network
data mining
clustering algorithm
evolutionary algorithm
internal and external