The lambda calculus with types

Title Statements

• Full title :The lambda calculus with types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi ... [et al.].

Edition Statements

• Publication Date:cop. 2013.

Publication Statements

• Publisher(s):Association for Symbolic Logic, Association for Symbolic Logic, Cambridge University Press, Cambridge University Press
• Place of Publication:Cambridge
• Language:eng
• Publication Date:cop. 2013.

The Physical Object

• Description:XXII, 833 s. : : il. ; : 25 cm.

Edition Identifiers

• ISBN:9780521766142, 0521766141
• oclc:ocn867945079

Subjects

Writers

More from this Series

• Lambda calculus with types

  2013.

  more →

• Lambda calculus with types

  2013.

  more →

  

• Lambda Calculus with Types

  2013.

  more →

  

• Lambda Calculus with Types

  2013.

  more →

  

• Lambda Calculus with Types

  2013.

  more →