Syllepsis in Homotopy Type Theory.

Kristina Sojakova

Published in: CoRR (2021)

Keyphrases

general theory
computational model
high level
programming language
database
databases
genetic algorithm
three dimensional
database systems
natural language
theoretical framework
theoretical basis