Lecture Notes in Computer Science

Logics of Programs

Brooklyn, June 17-19, 1985

Editors: Parikh, Rohit (Ed.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-540-39527-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-15648-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock

Table of contents (31 chapters)

Table of contents (31 chapters)
  • Nonclausal temporal deduction

    Pages 1-15

    Abadi, Martin (et al.)

  • Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract

    Pages 16-22

    Bercovici, Irina

  • Lambda calculus with constrained types

    Pages 23-40

    Breazu-Tannen, Val (et al.)

  • An axiomatic treatment of a parallel programming language

    Pages 41-60

    Brookes, Stephen D.

  • Recursive definitions in type theory

    Pages 61-78

    Constable, R. L. (et al.)

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-540-39527-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-15648-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Services for this Book

Bibliographic Information

Bibliographic Information
Book Title
Logics of Programs
Book Subtitle
Brooklyn, June 17-19, 1985
Editors
  • Rohit Parikh
Series Title
Lecture Notes in Computer Science
Series Volume
193
Copyright
1985
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39527-0
DOI
10.1007/3-540-15648-8
Softcover ISBN
978-3-540-15648-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 428
Topics