Showing 1 - 3 results of 3 for search '', tempo de consulta: 0.01s Limitar resultados
  1. 1

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

    Publicado 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 por Hankin, Chris

    Publicado 1994
    Libro

    Lambda calculi a guide for computer scientists
  3. 3

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

    Publicado 1989
    Libro

    An introduction to functional programming through lambda calculus

Ferramentas de procura: