Technology, Artificial Intelligence, Machine Learning, Data Science, Deep Learning.
the theory of regular languages and has given an abstract definition of the free profinite structure, defined by codensity, given a fixed monad and a notion of finite structure. On the other hand, Salvati has introduced the notion of language of λ-terms, using denotational semantics, which