Logo
DeutschClear Cookie - decide language by browser settings
Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Number of items: 26.

Article

Schwichtenberg, Helmut (1991): An upper bound for reduction sequences in the typed gamma-calculus. In: Archive for Mathematical Logic, No. 30: pp. 405-408 [PDF, 209kB]

Schwichtenberg, Helmut (1979): On bar recursion of types 0 and 1. In: The Journal of Symbolic Logic, No. 44: pp. 325-329 [PDF, 364kB]

Schwichtenberg, Helmut (1976): Definierbare Funktionen im Lambda-Kalkül mit Typen. In: Archiv für mathematische Logik und Grundlagenforschung, No. 17: pp. 113-114 [PDF, 180kB]

Rödding, Dieter and Schwichtenberg, Helmut (1972): Bemerkungen zum Spektralproblem. In: Zeitschrift für mathematische Logik und Grundlagen der Mathematik, No. 18: pp. 1-12 [PDF, 653kB]

Schwichtenberg, Helmut (1972): Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie. In: Archiv für mathematische Logik und Grundlagenforschung, No. 15: pp. 129-145 [PDF, 1MB]

Schwichtenberg, Helmut (1971): Eine Klassifikation der e0-rekursiven Funktionen. In: Zeitschrift für mathematische Logik und Grundlagenforschung, No. 17: pp. 61-74 [PDF, 811kB]

Schwichtenberg, Helmut (1969): Rekursionszahlen und Grzegorczyk-Hierarchie. In: Archiv für mathematische Logik und Grundlagenforschung, No. 12: pp. 85-97 [PDF, 1MB]

Thesis

Schwichtenberg, Helmut (1973): Einige Anwendungen von unendlichen Termen und Wertfunktionalen. Professorial Dissertation, Mathematisches Institut der Universität Münster
[PDF, 4MB]

Schwichtenberg, Helmut (1968): Eine Klassifikation der mehrfach-rekursiven Funktionen. Dissertation, Mathematisches Institut der Universität Münster
[PDF, 13MB]

Book Section

Schwichtenberg, Helmut (1993): Proofs as programs. In: Aczel, P. and Simmons, H. and Wainer, S.S. (eds.) : Proof Theory. Cambridge: Cambridge University Press. pp. 81-113 [PDF, 2MB]

Schwichtenberg, Helmut (1992): Minimal from classical proofs. In: Börger, E. and Jäger, G. and Kleine-Büning, H. and Richter, M.M. (eds.) : Computer Science Logic. Vol. 626. Berlin, Heidelberg, New York: Springer. pp. 326-328 [PDF, 394kB]

Schwichtenberg, Helmut (1991): Primitive recursion on the partial continuous functionals. In: Broy, M. (ed.) : Informatik und Mathematik. Berlin, Heidelberg, New York: Springer. pp. 251-268 [PDF, 1MB]

Schütte, Kurt and Schwichtenberg, Helmut (1990): Mathematische Logik. In: Scharlau, W. and Fischer, G. and Hirzebruch, F. and Törnig, W. (eds.) : Ein Jahrhundert Mathematik 1890 - 1990. Dokumente zur Geschichte der Mathematik, Vol. 6. Braunschweig: Vieweg. pp. 717-740 [PDF, 4MB]

Schwichtenberg, Helmut (1987): Mathematische Logik. In: TU Berlin (ed.) , Mathematik. Vol. 10. Berlin: TU Berlin. pp. 39-42 [PDF, 1MB]

Schwichtenberg, Helmut (1986): Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen. In: Börger, E. (ed.) : Computation Theory and Logic. Vol. 270. Berlin, Heidelberg, New York: Springer. pp. 334-348 [PDF, 654kB]

Schwichtenberg, Helmut (1986): Eine Normalform für endliche Approximationen partiellen stetigen Funktionalen. In: Diller, J. (ed.) : Logik und Grundlagenforschung. Festkolloquium zum 100. Geburtstag von Heinrich Scholz. Schriftenreihe der Westfälischen Wilhelms-Universität Münster / Neue Folge, Vol. 8. Münster: Aschendorff. pp. 89-95 [PDF, 580kB]

Schwichtenberg, Helmut (1977): Proof Theorie: Some applications of cut-elimination. In: Barwise, J. (ed.) : Handbook of Mathematical Logic. Studies in logic and the foundations of mathematics, Vol. 90. Amsterdam: North-Holland. pp. 867-895 [PDF, 2MB]

Schwichtenberg, Helmut and Wainer, Stanley S. (1975): Infinite terms and recursion in higher types. In: Diller, J. and Müller, G.H. (eds.) : Proof Theory Symposium Kiel 1974. Vol. 500. Berlin, Heidelberg, New York: Springer. pp. 341-364 [PDF, 843kB]

Conference or Workshop Item

Berger, Ulrich and Schwichtenberg, Helmut (1991): An inverse of the evaluation functional for typed Lambda-calculus. 6th Annual IEE Symposium on Logic in Computer Science (LICS'91), 15. - 18. Juli 1991, Amsterdam. [PDF, 1MB]

Schwichtenberg, Helmut (1991): Minimal logic for computable functions. NATO Advanced Study Institute, International Summer School held in Marktoberdorf, 23.Juli 1991 - 04. August 1991, Marktoberdorf, Germany. [PDF, 2MB]

Schwichtenberg, Helmut (1989): Normalization. International Summer School Marktoberdorf, 25. Juli 1989 - 26. August 1989, Marktoberdorf, Germany. [PDF, 2MB]

Schwichtenberg, Helmut (1986): A normal form for natural deductions in a type theory with realizing terms. Congresso Logica e Filosofia della Scienza, 07. - 11. Dezember 1983, San Gimignano, Italia. [PDF, 2MB]

Schwichtenberg, Helmut (1982): Complexity of normalization in the pure typed Lambda-calculus. The L.E.J. Browner Centenary Symposium, 08. - 13. Juni 1981, Noordwijkerhout, Niederlande. [PDF, 437kB]

Schwichtenberg, Helmut (1978): Logic and the axiom of choice. Logic Colloquium, August 1978, Mons, Belgien. [PDF, 618kB]

Schwichtenberg, Helmut (1975): Elimination of higher type levels in definitions of primitive recursive functionals by means of transfinite recursion. Logic Colloquium, Juli 1973, Bristol. [PDF, 1MB]

Lecture

Schwichtenberg, Helmut (1988): LCF with realizing terms: a framework for the developement and verification of programs. Ludwig-Maximilians-Universität München

This list was generated on Sat Nov 1 00:47:07 2014 CET.