Structural recursion with locally scoped names (0)

by A M Pitts
Venue:J. Funct. Program