Definierbare Funktionen imλ-Kalkül mit Typen

Archive for Mathematical Logic 17 (3-4):113-114 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02276799

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

λ-definierbare Funktionen auf Peanoalgebren.Gerd Mitschke - 1972 - Archive for Mathematical Logic 15 (1-2):31-35.
Prädikatenlogik mit partiell definierten Funktionen.Werner Markwald - 1971 - Archive for Mathematical Logic 14 (1-2):10-23.
Prädikatenlogik mit partiell definierten Funktionen II.Werner Markwald - 1974 - Archive for Mathematical Logic 16 (1-2):15-22.
Über die mit Stackautomaten berechenbaren Funktionen.Horst Müller - 1970 - Archive for Mathematical Logic 13 (1-2):60-73.
Die mit Nestedstackautomaten Berechenbaren Funktionen sind Elementar.Heinrich Beck - 1975 - Archive for Mathematical Logic 17 (3-4):115-128.
Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen.Heinz-Dieter Ebbinghaus - 1969 - Archive for Mathematical Logic 12 (1-2):39-53.
Eine Bemerkung über den Kalkül des natürlichen Schließens.Arnold Oberschelp - 1962 - Archive for Mathematical Logic 6 (1-2):3-6.
Interpretationen der Heyting-Arithmetik endlicher Typen.Martin Stein - 1978 - Archive for Mathematical Logic 19 (1):175-189.
Eine Bemerkung über quasirekursioe Funktionen.K. Schütte - 1951 - Archive for Mathematical Logic 1 (2):63.
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.Justus Diller & Kurt Schütte - 1971 - Archive for Mathematical Logic 14 (1-2):69-74.

Analytics

Added to PP
2020-12-03

Downloads
2 (#1,450,151)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

λ-Definability on free algebras.Marek Zaionc - 1991 - Annals of Pure and Applied Logic 51 (3):279-300.
Tiering as a recursion technique.Harold Simmons - 2005 - Bulletin of Symbolic Logic 11 (3):321-350.
Ordinals and ordinal functions representable in the simply typed lambda calculus.N. Danner - 1999 - Annals of Pure and Applied Logic 97 (1-3):179-201.
Basic simple type theory, J. Roger Hindley.Hans-Joerg Tiede - 1999 - Journal of Logic, Language and Information 8 (4):473-476.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references