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

by Solomon Feferman

Venue:	ANNALS OF PURE AND APPLIED LOGIC
Citations:	7 - 2 self

User correction supplied by mph

Datum	Value	Source
TITLE	Computation on abstract data types. The extensional approach, with an application to streams	user correction
AUTHOR NAME	Solomon Feferman	user correction
ABSTRACT	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.	user correction
VENUE	ANNALS OF PURE AND APPLIED LOGIC	user correction
VENUE TYPE	CONFERENCE	INFERENCE
CITATIONS	21 found	ParsCit 1.0