Closure Under AlphaConversion (1993)

by R Pollack
Venue:TYPES 1993, Lecture Notes in Computer Science 806