Home Advanced Search

Advanced Search - Page 1

Lambda Calculi with Types
  • PS
  • English
  • Year: 1992
  • Author: Barendregt H.
Introduction to Lambda calculus
  • PDF
  • English
  • Year: 2000
  • Author: Barendregt H., Barendsen E.
Introduction to Lambda Calculus
  • PDF
  • English
  • Year: 1994
  • Author: Barendregt H., Barendsen E.
Introduction to generalized type systems
  • PDF
  • English
  • Author: Barendregt H.P.
Research in Psychodiagnostics: Record of Investigations
  • PDF
  • English
  • Year: 1961
  • Author: J.T. Barendregt
Sonic Modernities in the Malay World : A History of Popular Music, Social Distinction and Novel Lifestyles (1930s – 2000s)
  • PDF
  • English
  • Year: 2014
  • Author: Bart Barendregt
Errata for The lambda calculus
  • DJVU
  • English
  • Year: 1984
  • Author: Barendregt H.P.
The Human Canvas: The World's Best Body Paintings
  • PDF
  • English
  • Year: 2014
  • Author: Karala Barendregt
An introduction to lambda calculus
  • PDF
  • English
  • Year: 2012.
  • Author: Barendregt & Barendsen
The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
  • PDF
  • English
  • Year: 1985
  • Author: H.P. Barendregt
search