Technology, Artificial Intelligence, Machine Learning, Data Science, Deep Learning.
generalizes the case of words and trees through the Church encoding. In recent work, the author and collaborators defined the notion of profinite λ-term using semantics in finite sets and functions, which extend the Church encoding to profinite words. In this article, we prove that these two