Alpha-structural recursion and induction (2006)

Cached

Download Links

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