Abstract
This work takes place in denotational semantics of simply typed functional programming languages (like PCF, see [8]). We describe a general method for performing simultaneously an extensional and a “stable” semantics in such a way that only maps existing in both semantics subsist in our model. The construction is carried out in the framework of strongly stable functions that we have recently defined and which is a refinement of stable semantics such that, at first order, all functions are sequential. However we do not use any peculiar feature of this semantics and constructions presented here could just as well be carried out in the more usual stable framework.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
G. Berry Modèles des lambda-calculs typés Thèse de Doctorat, Université Paris 7, 1979.
G. Berry Stable models of typed lambda calculi LNCS 62.
A. Bucciarelli, T. Ehrhard Sequentiality and strong stability LICS 91.
P.L. Curien Categorical combinators, Sequential Algorithms and Functional Programming Pitman, 1986.
P.L. Curien Algorithmes séquentiels et extensionalité Rapport LITP 82-67, Uiversité Paris 6–7, 1982.
J.Y. Girard The system F of variable types fifteen years later Theoretical Computer Science, vol. 45, 1986.
R. Milner Fully abstract models of typed lambda-calculi TCS 4, 1977.
G. Plotkin LCF considered as a programming language TCS 5, 1977.
G. Winskel An introduction to Event Structures LNCS 354, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bucciarelli, A., Ehrhard, T. (1991). Extensional embedding of a strongly stable model of PCF. In: Albert, J.L., Monien, B., Artalejo, M.R. (eds) Automata, Languages and Programming. ICALP 1991. Lecture Notes in Computer Science, vol 510. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54233-7_123
Download citation
DOI: https://doi.org/10.1007/3-540-54233-7_123
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54233-9
Online ISBN: 978-3-540-47516-3
eBook Packages: Springer Book Archive