Home Advanced Search

Advanced Search - Page 1

Introduction to generalized type systems
  • PDF
  • English
  • Author: Barendregt H.P.
Errata for The lambda calculus
  • DJVU
  • English
  • Year: 1984
  • Author: Barendregt H.P.
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
The Lambda Calculus, Second Edition: Its Syntax and Semantics
  • PDF
  • English
  • Year: 1985
  • Author: H.P. Barendregt
Lambda Calculi with Types. A chapter from. Handbook of logic in computer science, vol.2
  • PDF
  • English
  • Year: 1992
  • Author: Barendregt H.P.;edited by Abramsky S., Gabbay D.M., Maibaum T.S.E.
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
The Human Canvas: The World's Best Body Paintings
  • PDF
  • English
  • Year: 2014
  • Author: Karala Barendregt
Lambda Calculi with Types
  • PS
  • English
  • Year: 1992
  • Author: Barendregt H.
An introduction to lambda calculus
  • PDF
  • English
  • Year: 2012.
  • Author: Barendregt & Barendsen
search