Alpha-structural recursion and induction (0)

by Pitts
Venue:Journal of the ACM