Lambda calculus with types

Lambda calculus with types

by Barendregt, Henk

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

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

Edition Statements

  • Publication Date:2013.

Publication Statements

Edition Identifiers

  • ISBN:9780521766142, 0521766141
  • oclc:ocn912483406
  • Dewey Decimal:511.35

Table of Contents

Contenido: The simply typed Lambda calculus. -- Properties. -- Tools. -- Definability, unification and matching. -- Extensions. -- Applications. -- The systems. -- Properties of recursive types. -- Properties of terms with types. -- Models. -- Applications. -- An example system. -- Type assignment systems. -- Basic properties of intersection type assignment. -- Type and Lambda structures. -- Filter models. -- Advanced properties and applications. .

Read More ↓

Subjects

Cálculo Lambda Lambda calculus Logic, Symbolic and mathematical Lógica matemática Lógica simbólica y matemática

Writers

Barendregt, Henk Barendregt, Henk Dekkers, R. Will 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 →