Skip to main content
  • Book
  • © 1979

Edinburgh LCF

A Mechanized Logic of Computation

Authors:

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

Buying options

eBook
USD 19.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-38526-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 24.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (3 chapters)

  1. Front Matter

  2. Introduction

    Pages 1-12
  3. ML

    Pages 13-61
  4. PPLAMBDA

    Pages 62-86
  5. Back Matter

Keywords

  • computation
  • logic

Bibliographic Information

  • Book Title: Edinburgh LCF

  • Book Subtitle: A Mechanized Logic of Computation

  • Authors: Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-09724-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1979

  • Softcover ISBN: 978-3-540-09724-2

  • eBook ISBN: 978-3-540-38526-4

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 161

  • Topics: Computer Science

Buying options

eBook
USD 19.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-38526-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 24.99
Price excludes VAT (USA)