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

by Andrew D Gordon
Venue:In Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications