Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses.

Published in: FSCD (2023)

Keyphrases

type checking
real time
theoretical framework
expressive power
genetic algorithm
theoretical basis
data sets
databases
neural network
artificial intelligence
case study
language independent