3 citations
- Centre National de la Recherche ScientifiqueFR2 papers
- Institut de Recherche en Informatique FondamentaleFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Université Paris CitéFR2 papers
- École PolytechniqueFR1 paper
- Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'ImagerieFR1 paper
- Laboratoire d'Informatique de l'École PolytechniqueFR1 paper
- PARTOUT: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTionFR1 paper
- Sorbonne Paris CitéFR1 paper
2 papers
cs.LO2023
Profinite lambda-terms and parametricity
Sam van Gool, Paul-André Melliès, Vincent Moreau
Combining ideas coming from Stone duality and Reynolds parametricity, we formulate in a clean and principled way a notion of profinite lambda-term which, we show, generalizes at ev…
math.CT2022★ 3 cited
Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem
Paul-André Melliès, Noam Zeilberger
We begin by explaining how any context-free grammar encodes a functor of operads from a freely generated operad into a certain "operad of spliced words". This motivates a more gene…