Lambda calculus with types

Lambda calculus with types

by Barendregt, Hendrik P.

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Lambda calculus with types / Henk Barendregt, Wil Dekkers, Richard Statman.

Edition Statements

  • Publication Date:2013.
  • Edition:Online-ausg

Publication Statements

The Physical Object

  • Description:Online-Ressource (1 online resource (xxii, 833 Seiten))

Edition Identifiers

  • ISBN:9781107273818, 1107273811, 9780521766142, 0521766141, 9781107275041, 1107275040, 9781139032636, 1139032631
  • DOI:10.1017/CBO9781139032636
  • oclc:ocn857995403
  • LC Classification:QA9.5
  • Dewey Decimal:511.3

Subjects

Lambda calculus Lambda-calcul Lambda-Kalkül

Writers

Barendregt, Hendrik P. Dekkers, Wil Statman, Richard

More from this Series

Rate & Review

0.0/5
(0 people Voted)

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

Files & Downloads

  • Lambda Calculus with Types -- (.pdf)

    PDF · 4.4 MB · updated
    Login →