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 15 th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002
Citations:7 - 1 self