Skip to main content
SpringerLink
Log in
Book cover

Workshop on Algebraic Methods

Algebraic Methods 1987: Algebraic Methods: Theory, Tools and Applications pp 307–328Cite as

The calculus λπ

  • Part II The Design Language COLD
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 394))

Abstract

We introduce a special version of lambda calculus called λπ, which is defined for any algebraic system with preorder. We do not have lambda terms λx.X, but we have terms λx ⊑ R.X, where R is a parameter restriction. The effect of the parameter restrictions is formalised by the rules of the calculus. Instead of the rule β there is a rule called π. This calculus has been used to give a meaning to the parameterisation and design constructs of COLD-K.

This work has been performed within the ESPRIT project 432: METEOR

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W.E. BAATS, L.M.G. FEIJS, J.H.A. Gelissen. A Formal Specification of INGRES, this volume.

    Google Scholar 

  2. H. BARENDREGT. The Lambda Calculus, its Syntax and Semantics, (Revised Edition), North-Holland, Amsterdam, (1984).

    Google Scholar 

  3. H. BARENDREGT, M. COPPO, M. DEZANI-CIANCAGLINI. A Filter Lambda Model and the Completeness of Type Assignment, Journal of Symbolic Logic, 48 (1983), 931–940.

    Google Scholar 

  4. L.M.G. Feijs. A Formalisation of Design Structures. Proceedings of CompEuro 88, Brussels, April 1988. Computer Society IEEE.

    Google Scholar 

  5. L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans, G.R. Renardel de Lavalette. Formal definition of the design language COLD-K, Preliminary edition. ESPRIT document METEOR/t7/PRLE/7.

    Google Scholar 

  6. H.B.M. Jonkers. Description Algebra, this volume.

    Google Scholar 

  7. C.P.J. Koymans, G.R. Renardel de Lavalette. The Logic MPL ω. this volume.

    Google Scholar 

  8. M. WIRSING. Structured Algebraic Specifications: a Kernel Language, Habilitation thesis, Technische Universität München (1983).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philips Research Laboratories Eindhoven, P.O. Box 80000, 5600 JA, Eindhoven, The Netherlands

    L. M. G. Feijs

Authors
  1. L. M. G. Feijs
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Jan A. Bergstra

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Feijs, L.M.G. (1989). The calculus λπ . In: Wirsing, M., Bergstra, J.A. (eds) Algebraic Methods: Theory, Tools and Applications. Algebraic Methods 1987. Lecture Notes in Computer Science, vol 394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015043

Download citation

  • DOI: https://doi.org/10.1007/BFb0015043

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51698-9

  • Online ISBN: 978-3-540-46758-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation