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

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 |