A new approach to abstract data types I (1992)

by S Feferman
Venue:Informal development, Mathematical Structures in Computer Science 2
Add To MetaCart
Results 1 - 1 of 1

1996], Computation on abstract data types. The extensional approach, with an application to streams

by Solomon Feferman, C. Kleene - Annals of Pure and Applied Logic
"... In this paper we specialize the notion of abstract computational procedure previously introduced for intensionally presented structures to those which are extensionally given. This is provided by a form of generalized recursion theory which uses schemata for explicit definition, conditional definiti ..."
Abstract - Cited by 7 (2 self) - Add to MetaCart
In this paper we specialize the notion of abstract computational procedure previously introduced for intensionally presented structures to those which are extensionally given. This is provided by a form of generalized recursion theory which uses schemata for explicit definition, conditional definition and least fixed point (LFP) recursion in functionals of type level ≤ 2 over any appropriate structure. It is applied here to the case of potentially infinite (and more general partial) streams as an abstract data type. 1