Recursion Theorem for Well-Founded Relations as Properties
Overview
Introduction
Defining the Fixed Point Operator
Respect Theorems
Proof Context
©
V