Sign in

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.

Titouan CaretteLouis LemonnierVladimir Zamdzhiev
Published in: LICS (2023)
Keyphrases
  • language independent
  • expressive power
  • neural network
  • case study
  • databases
  • text summarization
  • efficient computation
  • target language
  • linguistic resources
  • internal states