Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
  • 洋書

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)  Paperback,  言語:ENG

Hindley, J. Roger

  • ウェブストア価格 ¥11,421(本体¥10,383)
  • Cambridge University Press(2008/01発売)
  • ポイント 103pt
  • 海外取次在庫
Lambda-Calculus and Combinators : An Introduction (2ND)
  • 洋書

Lambda-Calculus and Combinators : An Introduction (2ND)  Hardcover,  言語:ENG

Hindley, J. Roger/ Seldin, Jonathan P.

  • ウェブストア価格 ¥19,768(本体¥17,971)
  • Cambridge University Press(2008/07発売)
  • ポイント 179pt
  • 海外取次在庫