Abstract
In [Mitchell and Moggi, 1981], the authors give an elementary definition of Kripke λ-models, i.e., Kripke models of the simply-typed λ-calculus. This calculus, together with conjunctive and disjunctive types, may be viewed as the additive fragment of αλ. In this section, we present an elementary definition of Kripke αλ-models which generalizes the elementary definition given in [Mitchell and Moggi, 1981].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Pym, D.J. (2002). Bunched Logical Relations. In: The Semantics and Proof Theory of the Logic of Bunched Implications. Applied Logic Series, vol 26. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0091-7_8
Download citation
DOI: https://doi.org/10.1007/978-94-017-0091-7_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6072-3
Online ISBN: 978-94-017-0091-7
eBook Packages: Springer Book Archive