Objekt-Metadaten

List objects and recursive algorithms in elementary topoi
Maurer, Christian E. G. ;  Universität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik

Main titleList objects and recursive algorithms in elementary topoi
AuthorMaurer, Christian E. G.
InstitutionUniversität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik
No. of Pages15 S.
Series Freie Universität Berlin, Fachbereich Mathematik [und Informatik] : Ser. B, Informatik ; 96,05
Classification (DDC)004 Data processing and Computer science
AbstractThe paper generalizes results of [B] by formulating their background in categories with a sufficiently rich internal logic, e. g. elementary topoi, using the well known initial algebra approach. Thus the right setting for program transformations in the sense of [B] is given by embedding them into the generalisation of primitive recursion over the naturals in the sense of [F] to lists.
Particularly there is a simple concept of tail recursion, hence an outline on a systematic transformation of naive recursive programs into tail recursive i. e. more efficient iterative forms.
Documents
pdf-Datei
If your browser can't open the file, please download the file first and then open it
 
FU DepartmentDepartment of Mathematics and Computer Science
Other affiliation(s)Institut für Informatik
Year of publication1996
Type of documentMaps
LanguageEnglish
Terms of use/Rights Nutzungsbedingungen
Created at2009-03-19 : 02:22:47
Last changed2014-01-23 : 04:21:18
 
Static URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001313
Statistics
 

LOADING...