Showing 1 - 4 results of 4 for search 'Lionel Vaux', query time: 0.02s
Refine Results
-
1
-
2
-
3
Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications by Rémy Cerda, Lionel Vaux Auclair
Published 2023-12-01
Article -
4