DMCA

Fresh-register automata (2011)

by Nikos Tzevelekos
Venue:In Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’11
Citations:13 - 1 self