Skip to main content
SpringerLink
Log in
Book cover

Workshop on the Specification of Abstract Data Types

Workshop of the ESPRIT Basic Research Working Group COMPASS

ADT 1995, COMPASS 1995: Recent Trends in Data Type Specification pp 74–80Cite as

The lambda calculus as an abstract data type

  • Invited Presentations
  • Conference paper
  • First Online:

  • 169 Accesses

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

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. Z. Benaissa, D. Briaud, P. Lescanne, and J. Rouyer-Degli. λν, a calculus of explicit substitutions which preserves strong normalisation. Journal of Functional Programming, 1996. To appear.

    Google Scholar 

  2. N. Bourbaki. Éléments de mathématiques: Théories des ensembles, volume 1. Hermann & Cie, 1954.

    Google Scholar 

  3. P.-L. Curien, Th. Hardin, and J.-J. Lévy. Confluence properties of weak and strong calculi of explicit substitutions. RR 1617, INRIA, Rocquencourt, February 1992.

    Google Scholar 

  4. H. B. Curry, R. Feys, and W. Craig. Combinatory Logic, volume 1. Elsevier Science Publishers B. V. (North-Holland), Amsterdam, 1958.

    Google Scholar 

  5. N. G. de Bruijn. Lambda calculus with namefree formulas involving symbols that represent reference transforming mappings. Proc. of the Koninklijke Nederlands Akademie, 81(3):1–9, September 1978. Dedicated to A. Heyting at the occasion of his 80th Birthday on May 9, 1978.

    Google Scholar 

  6. Gilles Dowek, Thérèse Hardin, and Claude Kirchner. Higher-order unification via explicit substitutions, extended abstract. In Dexter Kozen, editor, Proceedings 10th IEEE Symposium on Logic in Computer Science, San Diego, California, USA, pages 366–374, June 1995.

    Google Scholar 

  7. J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.

    Google Scholar 

  8. Magne Haveraaen, Olaf Owe, and Ole-Johan Dahl, editors. Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, WADT11. Oslo Norway, September 1995. Springer LNCS, 1996.

    Google Scholar 

  9. D. Hilbert. Die logischen Grundlagen der Mathematik. Mathematische Annalen, 88:151–165, 1923.

    Google Scholar 

  10. J. Horning. The Larch Shared Language: Some Open Problems. This volume [8], 1996.

    Google Scholar 

  11. A. C. Leisenring. Mathematical logic and Hilbert's ε-symbol. University Mathematical Series, Bedford College, London, 1969.

    Google Scholar 

  12. P.-A. Melliès. Typed λ-calculi with explicit substitutions may not terminate. In M. Dezani, editor, Int. Conf. on Typed Lambda Calculus and Applications, 1995.

    Google Scholar 

  13. C. Muñoz. Confluence and preservation of strong normalisation in an explicit substitutions calculus. In Proceedings 11th IEEE Symposium on Logic in Computer Science, Rudgers (New Jersey, USA), 1996. also INRIA Tech-Report 2762.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INRIA-Lorraine, Centre de Recherche en Informatique de Nancy (CNRS), Campus Scientifique, BP 239, F54506, Vandœuvre-lès-Nancy, France

    Pierre Lescanne

Authors
  1. Pierre Lescanne
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Magne Haveraaen Olaf Owe Ole-Johan Dahl

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lescanne, P. (1996). The lambda calculus as an abstract data type. In: Haveraaen, M., Owe, O., Dahl, OJ. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1995 1995. Lecture Notes in Computer Science, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61629-2_37

Download citation

  • DOI: https://doi.org/10.1007/3-540-61629-2_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61629-0

  • Online ISBN: 978-3-540-70642-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation