2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 2 cited
Encodability and Separation for a Reflective Higher-Order Calculus
Stian Lybech
The -calculus (Reflective Higher-Order Calculus) of Meredith and Radestock is a -calculus-like language with some unusual features, notably, structured names, runtime generat…
cs.LO2022
A Generic Type System for Higher-Order -calculi
Alex Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel +1
The Higher-Order -calculus framework (HO) is a generalisation of many first- and higher-order extensions of the -calculus. It was proposed by Parrow et al. who showed that…