On a Question of H. Friedman

Information and Computation

Volumn 126, Issue 1, 1996, Pages 74-77

  Plotkin, Gordon ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0003989137     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1996.0035     Document Type: Article

References (6)

1. Abramsky, S. (1983), Semantic Foundations for Applicative Multiprogramming, in "Proc. ICALP '83" (J. Diaz, Ed.), Lecture Notes in Computer Science, Vol. 154, pp. 1-15, Springer-Verlag, Berlin/New York.
2. Barendregt, H. (1984), "The Lambda Calculus," North-Holland, Amsterdam.
3. Chang, C. C., and Keisler, H. J. (1973), "Model Theory," Studies in Logic, Vol. 73, North-Holland, Amsterdam.
4. Flagg, R., and Myhill, J. (1989), A type-free system extending (ZFC), Ann. Pure Appl. Logic 43, 79-97.
5. Lehmann, D. (1976), Categories for fixpoint semantics, in "Proc. 17th Annual Symp. on Foundations of Computer Science," IEEE, New York; also Warwick University Theory of Computation Report No. 15.
6. Smyth, M. (1977), Effectively given domains, Theoret. Comput. Sci. 5, 257-274.