Alpha-structural recursion and induction (extended abstract (2005)

by A M PITTS
Venue:Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford UK, August 2005, Proceedings, volume 3603 of Lecture Notes in Computer Science