λ-Calculus and Computer Science Theory

Proceedings of the Symposium Held in Rome March 25–27, 1975

  • Editors
  • C. Böhm
Conference proceedings
Part of the Lecture Notes in Computer Science book series (LNCS, volume 37)

Table of contents

  1. Front Matter
  2. Corrado Böhm
    Pages IX-IX
  3. Dana Scott
    Pages 1-26
  4. J. W. de Bakker
    Pages 27-61
  5. Reiji Nakajima
    Pages 62-82
  6. Corrado Böhm, Mariangiola Dezani-Ciancaglini
    Pages 96-121
  7. Louis Nolin
    Pages 166-176
  8. Gérard Huet
    Pages 192-212
  9. Herbert Egli
    Pages 220-239
  10. Luigia Aiello, Mario Aiello
    Pages 240-251
  11. Henk Barendregt
    Pages 272-286
  12. Marisa Venturini Zilli
    Pages 287-296
  13. Carlo Batini, Alberto Pettorossi
    Pages 297-311

About these proceedings

Keywords

Informatik calculus computer science kombinatorische Logik lambda calculus logic programming language semantics

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0029515
  • Copyright Information Springer-Verlag 1975
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-07416-8
  • Online ISBN 978-3-540-37944-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book