Showing 1 - 3 results of 3 for search '', Forespørselstid: 0.01s Refine Results
  1. 1

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

    Udgivet 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 af Hankin, Chris

    Udgivet 1994
    Bog

    Lambda calculi a guide for computer scientists
  3. 3

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

    Udgivet 1989
    Bog

    An introduction to functional programming through lambda calculus

Søgeredskaber: