Syllepsis in Homotopy Type Theory.

Kristina Sojakova G. A. Kavvos

Published in: LICS (2022)

Keyphrases

database
genetic algorithm
data structure
rough sets
web services
multi agent
multi agent systems
computer science
theoretical framework
mathematical models
theoretical basis