Author
Rohan Jacob-Rao
results may include different authors with the same name
1 papers
We present Tores, a core language for encoding metatheoretic proofs. The novel features we introduce are well-founded Mendler-style (co)recursion over indexed data types and a form of recursion over objects in the index language to build…