Robuta

https://deepai.org/publication/profinite-lambda-terms-and-parametricity Profinite lambda-terms and parametricity | DeepAI Jan 29, 2023 - 01/29/23 - Combining ideas coming from Stone duality and Reynolds parametricity, we formulate in a clean and principled way a notion of profi... lambda terms profinite parametricity deepai https://arxiv.org/abs/2011.15075 [2011.15075] Automorphisms of profinite mapping class groups Abstract page for arXiv paper 2011.15075: Automorphisms of profinite mapping class groups 2011 automorphisms profinite mapping class https://arxiv.org/abs/2109.07286 [2109.07286] What makes a Stone topological algebra profinite Abstract page for arXiv paper 2109.07286: What makes a Stone topological algebra profinite a stone topological algebra 2109 07286 makes https://www.muni.cz/en/research/publications/2301526 What makes a Stone topological algebra Profinite | Masaryk University | MUNI a stone topological algebra masaryk university makes profinite