Well-Foundedness and Recursion
Overview
Transitive and Well-Founded Relations
Transitive and Well-Founded Relations as Properties
Well-Founded Recursion
Recursion Theorem for Well-Founded Relations as Properties
up HOME © RBJ V