The lambda calculus

The lambda calculus: its syntax and semantics

by Barendregt, Hendrik Pieter

Type Book
Rate 0.0 /5

Title Statements

  • Full title :The lambda calculus : its syntax and semantics / H.P. Barendregt.

Edition Statements

  • Publication Date:1998.
  • Edition:[4th revised ed.]

Publication Statements

  • Publisher(s):Elsevier
  • Place of Publication:Amsterdam
  • Language:eng
  • Publication Date:1998.

The Physical Object

  • Description:XV, 621 Seiten ; : 23 cm.

Edition Identifiers

  • ISBN:0444867481, 9780444867483
  • oclc:ocn610979423

Subjects

Writers

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • The lambda calculus: its syntax and semantics -- …

    PDF · 12.8 MB · updated
  • The Lambda Calculus, Second Edition: Its Syntax a…

    PDF · 3.8 MB · updated
  • The Lambda Calculus, Second Edition: Its Syntax a…

    PDF · 12.7 MB · updated
  • The Lambda calculus: its syntax and semantics -- …

    DJVU · 6.0 MB · updated
  • The Lambda calculus: its syntax and semantics -- …

    DJVU · 6.0 MB · updated
  • Errata for The lambda calculus -- (.djvu)

    DJVU · 154.9 KB · updated
  • The lambda calculus : its syntax and semantics --…

    PDF · 19.5 MB · updated