DMCA

Recursion principles for syntax with bindings and substitution (2011)

by Andrei Popescu , Elsa L. Gunter
Venue:In ICFP
Citations:5 - 4 self