Structural recursion with locally scoped names (2011)

by Andrew M Pitts
Venue:J. Funct. Program