検索結果 1 - 3 結果 / 3 検索語 '', 処理時間: 0.01秒 結果の絞り込み
  1. 1

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

    出版事項 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 著者: Hankin, Chris

    出版事項 1994
    図書

    Lambda calculi a guide for computer scientists
  3. 3

    An introduction to functional programming through lambda calculus 著者: Michaelson, Greg

    出版事項 1989
    図書

    An introduction to functional programming through lambda calculus

検索ツール: