Fix-point Equations for Well-Founded Recursion in Type Theory (2000)

Cached

Download Links

by Antonia Balaa , Yves Bertot
Venue:THEOREM PROVING IN HIGHER ORDER LOGICS: 13TH INTERNATIONAL CONFERENCE, TPHOLS 2000, VOLUME 1869 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:16 - 3 self