Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Computer Science

λ-Calculus and Computer Science Theory

Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo “Mauro Picone” of the Consiglio Nazionale delle Ricerche

Editors: Böhm, C. (Ed.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-37944-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-07416-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (23 chapters)

Table of contents (23 chapters)
  • Introduction

    Pages IX-IX

    Böhm, Corrado

  • Combinators and classes

    Pages 1-26

    Scott, Dana

  • Least fixed points revisited

    Pages 27-61

    Bakker, J. W.

  • Infinite normal forms for the λ-calculus

    Pages 62-82

    Nakajima, Reiji

  • A survey of some useful partial order relations on terms of the lambda calculus

    Pages 83-95

    Hyland, J. M. E.

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-37944-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-07416-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
λ-Calculus and Computer Science Theory
Book Subtitle
Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo “Mauro Picone” of the Consiglio Nazionale delle Ricerche
Editors
  • C. Böhm
Series Title
Lecture Notes in Computer Science
Series Volume
37
Copyright
1975
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37944-7
DOI
10.1007/BFb0029515
Softcover ISBN
978-3-540-07416-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 371
Number of Illustrations
1 b/w illustrations
Topics