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 termsprofiniteparametricitydeepai
https://www.microsoft.com/en-us/research/publication/evaluating-lambda-terms-with-traversals-2/
Evaluating Lambda Terms with Traversals - Microsoft Research
Nov 5, 2019 - A method to evaluate untyped lambda terms based on a term tree-traversing technique inspired by Game Semantics and judicious use of eta-expansion. As...
lambda termsevaluatingmicrosoftresearch