Alpha-structural recursion and induction (2006)

by Andrew M. Pitts
Venue:Journal of the ACM
Citations:54 - 6 self