A mechanisation of name-carrying syntax up to alpha-conversion (1993)

by A D Gordon
Venue:LNCS