Frege structures for partial applicative theories
Reinhard Kähle · Journal of Logic and Computation · 1999
We investigate Frege structures as a truth theory over applicative theories in a partial framework. In a first approach we simply ignore undefinedness in the truth definition yielding a theory with total truth. Then we introduce a certain notion of pointer to avoid strictness problems. This approach is closely related to the concept of promises in SCHEME which is used to introduce streams in strict functional programming languages.