14 citations · 24 across the 11 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021★ 6 cited
Abstract clones for abstract syntax
Nathanael Arkor, Dylan McDermott
We give a formal treatment of simple type theories, such as the simply-typed -calculus, using the framework of abstract clones. Abstract clones traditionally describe first-orde…
cs.LO2020★ 1 cited
Algebraic models of simple type theories: a polynomial approach
Nathanael Arkor, Marcelo Fiore
We develop algebraic models of simple type theories, laying out a framework that extends universal algebra to incorporate both algebraic sorting and variable binding. Examples of s…