Lecture Notes in Computer Science

Logics of Programs

Brooklyn, June 17-19, 1985

Editors: Parikh, Rohit (Ed.)

Free Preview

Buy this book

eBook 71,68 €
price for Spain (gross)
  • 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 90,47 €
price for Spain (gross)
  • 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
  • The final prices may differ from the prices shown due to specifics of VAT rules

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 71,68 €
price for Spain (gross)
  • 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 90,47 €
price for Spain (gross)
  • 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
  • The final prices may differ from the prices shown due to specifics of VAT rules
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