Navigation/Menü: Links auf weitere Seiten dieser Website
Objekt-Metadaten
| List objects and recursive algorithms in elementary topoi Maurer, Christian E. G. |
| Haupttitel | List objects and recursive algorithms in elementary topoi |
| Autor | Maurer, Christian E. G. |
| Seitenzahl | 15 S. |
| Schriftenreihe | Freie Universität Berlin, Fachbereich Mathematik [und Informatik] : Ser. B, Informatik ; 96,05 |
| Fachbereich/Einrichtung | FB Mathematik und Informatik |
| Arbeitsbereich/Institut | Institut für Informatik |
| Erscheinungsjahr | 1996 |
| Dokumente | pdf-Datei
Falls Ihr Browser eine Datei nicht öffnen kann, die Datei zuerst herunterladen und dann öffnen.
|
| DDC | 004 Datenverarbeitung; Informatik |
| Dokumententyp/-Sammlungen | Report |
| Medientyp/Format | Text |
| Abstract | The 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. |
| Sprache | Englisch |
| Rechte | Nutzungsbedingungen |
| Zugriffstatistik | |
| Statische URL | http://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001313 |
| Erstellt am | 19.03.2009 - 15:22:47 |
| Letzte Änderung | 04.04.2013 - 09:33:25 |
