Combining generic judgments with recursive definitions

by Andrew Gacek, Dale Miller, Gopalan Nadathur
Venue:in "23th Symp. on Logic in Computer Science", F. PFENNING (editor), IEEE Computer Society Press, 2008, p. 33–44, http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lics08a.pdf US