previous up next
Go backward to Self-Application
Go up to Top
Go forward to Recursive Definitions
RISC-Linz logo

Self-Application

Problem solved by fixpoint theory of recursive domain definitions.


Author: Wolfgang Schreiner
Last Modification: November 18, 1997

previous up next