Braids, Twists, Trace and Duality in Combinatory Algebras.
Masahito HasegawaSerge LechennePublished in: LICS (2024)
Keyphrases
- distributive lattices
- linear programming
- spatial reasoning
- boolean algebra
- temporal reasoning
- machine learning
- clifford algebra
- computer vision
- three dimensional
- artificial neural networks
- probabilistic model
- topological spaces
- duality gap
- execution traces
- dual formulation
- expressive power
- neural network
- mobile robot
- cooperative
- multiscale
- web services
- genetic algorithm
- data mining