Abstract syntax for variable binders: An overview (0)

by D Miller
Venue:In Computational Logic - CL 2000