Self-Application
- Simplification on semantic expressions is not guarantueed to terminate.
- Some meaning exists in Denotable-value.
- Which meaning is unclear.
- Notation for representation meanings has shortcomings.
- Inherent to all notations for functions.
- Circular derivation produced without recursive definition.
- Recursion f=alpha (f).
- Simulation h(g) = alpha (g(g)), f = h(h).
f(p) = lambda x. if x=0 then 1 else x*((pp(p))(x-1))
fac = f(f)
- Recursiveness in Denotable-value.
Problem solved by fixpoint theory of recursive domain definitions.
Author: Wolfgang Schreiner
Last Modification: November 18, 1997