Reinhard Kahle

	 Frege structures for partial applicative theories


Beeson has discovered that Frege structures can be considered as a
truth theory over applicative theories. Due to problems concerning
strictness the straightforward approach works in the total framework
only. Here we define a truth theory for the partial setting, by use of
a certain notion of pointer. This concept is closely related to the
treatment of streams in strict functional programming languages.