|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 2
1986
Schwichtenberg, Helmut
(1986):
Eine Normalform für endliche Approximationen partiellen stetigen Funktionalen.
In: Diller, J. (Hrsg.):
Logik und Grundlagenforschung. Festkolloquium zum 100. Geburtstag von Heinrich Scholz. Schriftenreihe der Westfälischen Wilhelms-Universität Münster / Neue Folge, Bd. 8. Münster: Aschendorff. S. 89-95
[PDF, 580kB]
1975
Schwichtenberg, Helmut und Wainer, Stanley S.
(1975):
Infinite terms and recursion in higher types.
In: Diller, J. und Müller, G.H. (Hrsg.):
Proof Theory Symposium Kiel 1974. Bd. 500. Berlin, Heidelberg, New York: Springer. S. 341-364
[PDF, 843kB]