Continuous normalization for the lambda-calculus and Gödel’s T

&
Annals of Pure and Applied Logic 133 (1-3):39-72 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2004.10.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Philosophie an der Ludwig-Maximilians-Universität: die philosophische Lehre an der Universität Ingolstadt-Landshut-München von 1472 bis zur Gegenwart.Hans Otto Seitschek, Wolfhart Henckmann, Martin Mulsow & Peter Nickl (eds.) - 2010 - Sankt Ottilien: EOS.
Allgemeines–Grundlagen 3479 Ehlich, Konrad: Von deutscher Universität. Öffentliche Abschiedsvor-lesung an der Ludwig-Maximilians-Universität München, gehalten am 17. Juli 2007. In: JbDaF. 34. 2008. S. 13–34. 3480 Der geteilte Gegenstand. Beiträge zu Geschichte, Gegenwart und Zu. [REVIEW]Ii Allgemeines - forthcoming - Convivium: revista de filosofía.
Boiotia Harmut Beister, John Buckler (edd.): Boiotika: Vorträge vom 5. Internationalen Böotien-Kolloquium zu Ehren von Professor Dr Siegfried Lauffer. Institut für Alte Geschichte, Ludwig–Maximilians–Universität München, 13–17 Juni 1986. (Münchener Arbeiten zur alten Geschichte, 2.) Pp. 382; 69 figures (including photographs, maps and plans). Munich: Editio Maris, 1989. Paper. [REVIEW]Robin Osborne - 1991 - The Classical Review 41 (1):140-142.
Robert Volk, Der medizinische Inhalt der Schriften des Michael Psellos.(Miscellanea Byzantina Monacensia, 32.) Munich: Institut für Byzantinistik und neugriechische Philologie der Universität Munchen, 1990. Pp. li, 502. [REVIEW]Timothy S. Miller - 1993 - Speculum 68 (2):574-575.
Lowell Clucas, The Trial of John Italos and the Crisis of Intellectual Values in Byzantium in the Eleventh Century. Munich: Institut für Byzantinistik, Neugriechische Philologie und Byzantinische Kunstgeschichte der Universität München, 1981. Paper. Pp. xliii, 266. [REVIEW]Martin Arbagi - 1983 - Speculum 58 (4):1110.
Cardinal invariants of infinite groups* Jorg Brendle Mathematisches Institut der Universitat Tubingen, Auf der Morgenstelle 10, W-7400 Tubingen, Federal Republic of Germany and Department of Mathematics and Computer Science, Bradley Hall, Dartmouth College, Hanover, NH 03755, USA. [REVIEW]Jorg Brendle - 1991 - Archive for Mathematical Logic 30:155-170.
Gerhard ERNST Universität München.Schönheit der Sinn für - 2008 - Grazer Philosophische Studien 76 (1):167-189.
Philosophie an der Ludwig-maximilians-universität, isbn 978-3-8306-7422-1.J. Splett - 2011 - Theologie Und Philosophie 86 (2):275.
Philosophiestudium und Berufschancen Zu einer statistischen Erhebung an der Universität München.Wolfhart Henckmann & Gerhard Schönrich - 1980 - Zeitschrift für Philosophische Forschung 34 (1):108 - 117.
Sedulius Scottus, and Johannes Scottus Quellen und Untersuchungen zur lateinischen Philologie des Mittelalters. Herausgegeben von Ludwig Traube. Vol. I. Part I. 'Sedulius Scottus,' S. von Hellmann, Privatdozent der Geschichte an der Universität München. Pp. 203. M. 8. 50. Part 2. 'Johannes Scottus,' von E. K. Rand, Assistant Professor of Latin at Harvard University. Munich: Beck, 1906. Pp. 106. M. 6. [REVIEW]J. E. Sandys - 1909 - The Classical Review 23 (05):170-.

Analytics

Added to PP
2014-03-06

Downloads
7 (#1,351,854)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the computational complexity of cut-reduction.Klaus Aehlig & Arnold Beckmann - 2010 - Annals of Pure and Applied Logic 161 (6):711-736.

Add more citations

References found in this work

Notation systems for infinitary derivations.Wilfried Buchholz - 1991 - Archive for Mathematical Logic 30 (5-6):277-296.
Exact Bounds for lengths of reductions in typed λ-calculus.Arnold Beckmann - 2001 - Journal of Symbolic Logic 66 (3):1277-1285.
Finite notations for infinite terms.Helmut Schwichtenberg - 1998 - Annals of Pure and Applied Logic 94 (1-3):201-222.

View all 6 references / Add more references