DMCA

Meta-theory à la carte (2013)

by Benjamin Delaware , Bruno C. D. S. Oliveira , Tom Schrijvers
Venue:In POPL ’13
Citations:13 - 3 self