Alpha-structural recursion and induction (Extended Abstract) (2005)

by Andrew 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
Citations:6 - 2 self