35 citations · 105 across the 17 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus
Marcelo Fiore
This paper studies normalisation by evaluation for typed lambda calculus from a categorical and algebraic viewpoint. The first part of the paper analyses the lambda definability re…
cs.LO2022★ 21 cited
Formal Metatheory of Second-Order Abstract Syntax
Marcelo Fiore, Dmitrij Szamozvancev
Despite extensive research both on the theoretical and practical fronts, formalising, reasoning about, and implementing languages with variable binding is still a daunting endeavou…