Showing 1 - 3 results of 3 for search '', query time: 0.16s Refine Results
  1. 1

    Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
  2. 2

    Lambda calculi a guide for computer scientists by Hankin, Chris

    Published 1994
    Book

    Lambda calculi a guide for computer scientists
  3. 3

    An introduction to functional programming through lambda calculus by Michaelson, Greg

    Published 1989
    Book

    An introduction to functional programming through lambda calculus

Search Tools: