Switch to: Citations

References in:

Computation on abstract data types. The extensional approach, with an application to streams

Solomon Feferman

Annals of Pure and Applied Logic 81 (1-3):75-113 (1995)

Add references

You must login to add references.

Recursive Functionals and Quantifiers of Finite Types I.A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-83.details Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 19 citations
Effective operations on partial recursive functions.J. Myhill & J. C. Shepherdson - 1955 - Mathematical Logic Quarterly 1 (4):310-317.details Computability in Philosophy of Computing and Information Direct download Export citation Bookmark 15 citations
Effective operations on partial recursive functions.J. Myhill & J. C. Shepherdson - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):310-317.details Computability in Philosophy of Computing and Information Direct download Export citation Bookmark 14 citations
The formal language of recursion.Yiannis N. Moschovakis - 1989 - Journal of Symbolic Logic 54 (4):1216-1252.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 5 citations
Countable functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 27 (3):81--100.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic $47.89 used (collection) View on Amazon.com Direct download Export citation Bookmark 19 citations
Interpretation of analysis by means of constructive functionals of finite types.Georg Kreisel - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 101--128.details Areas of Mathematics in Philosophy of Mathematics $47.89 used (collection) View on Amazon.com Export citation Bookmark 55 citations

1