From syntactic theories to interpreters: Automating the proof of unique decomposition (0)

by Y Xiao, A Sabry, Z M Ariola
Venue:Higher-Order and Symbolic Computation