Quantifiers on languages and codensity monads.

Mai Gehrke Daniela Petrisan Luca Reggio

Published in: Math. Struct. Comput. Sci. (2020)

Keyphrases

expressive power
language independent
first order logic
text summarization
cross lingual
query translation
grammatical inference
neural network
web pages
case study
similarity measure
natural language
natural language processing
object oriented languages
interchange format