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

Titouan Carette Louis Lemonnier Vladimir 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