R. Gandy. Effective Operations and Recursive Functionals. Abstract. Journal of Symbolic Logic, volume 27. Association of Symbolic Logic, 1962. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Equational Theories for Inductive Types - Loader (1997) (11 citations) (Correct)
....sums. It is not so obvious that E preserves internal hom sets. We first show that E preserves external hom sets. That E is faithful is immediate from its definition; that E is full is an extension of the Kreisel Lacombe Shoenfield theorem [KLS59] The proof given here uses ideas from Gandy s proof [Gan62]. In [Ber93] a proof of a similar result is given for his total subsets of domains. The generality of the results appears to be very similar despite the differing abstractions in the presentation. The use of concrete presentations of the spaces involved seems to simplify our arguments (in ....
R. Gandy. Effective Operations and Recursive Functionals. Abstract. Journal of Symbolic Logic, volume 27. Association of Symbolic Logic, 1962.
Models of Lambda Calculi and Linear Logic: Structural, Equational .. - Loader (1994) (8 citations) (Correct)
No context found.
R. Gandy. Effective Operations and Recursive Functionals. Abstract. Journal of Symbolic Logic, volume 27. Association of Symbolic Logic, 1962.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC