Reflecting higher-order abstract syntax in Nuprl (2002)

by Eli Barzilay, Stuart Allen
Venue:Theorem Proving in Higher Order Logics; Track B Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002