2 citations · 2 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
Evolution of SASyLF 2008-2021
John Tang Boyland
SASyLF was released in 2008 and used as a proof assistant in courses at several universities. It proved itself useful and has continued to be used, and each iteration of use has en…
cs.LO2010★ 2 cited
Generating Bijections between HOAS and the Natural Numbers
John Tang Boyland
A provably correct bijection between higher-order abstract syntax (HOAS) and the natural numbers enables one to define a "not equals" relationship between terms and also to have an…