Meta-theory à la carte (2013)

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