Login / Signup

Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas.

Fernando Lucatelli NunesMatthijs Vákár
Published in: CoRR (2024)
Keyphrases
  • equational theories
  • artificial intelligence
  • computational complexity
  • databases
  • multiscale
  • real time
  • neural network
  • database systems
  • search algorithm
  • lower bound
  • logic programming