Combining generic judgments with recursive definitions (2008)

by A Gacek, D Miller, G Nadathur
Venue:23th Symp. on Logic in Computer Science