Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic and Logic Programming

ALP 1992: Algebraic and Logic Programming pp 1–2Cite as

Outline of an object-oriented calculus of higher type

Abstract of lecture

  • Conference paper
  • First Online:

  • 127 Accesses

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

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

Author information

Authors and Affiliations

  1. Digital Equipment Corporation, Paris Research Laboratory, 85, avenue Victor Hugo, 92500, Rueil-Malmaison, France

    Hassan Aït-Kaci

Authors
  1. Hassan Aït-Kaci
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hélène Kirchner Giorgio Levi

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aït-Kaci, H. (1992). Outline of an object-oriented calculus of higher type. In: Kirchner, H., Levi, G. (eds) Algebraic and Logic Programming. ALP 1992. Lecture Notes in Computer Science, vol 632. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013815

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55873-6

  • Online ISBN: 978-3-540-47302-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation