CaTT contexts are finite computads.

Thibaut Benjamin Ioannis Markakis Chiara Sarti

Published in: CoRR (2024)

Keyphrases

neural network
information retrieval
information systems
similarity measure
preprocessing
special case
social context
unit length
equational theories