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,128(本体¥10,117)
  • Cambridge University Press(2008/01発売)
  • ポイント 101pt
  • 海外取次在庫
Lambda-Calculus and Combinators : An Introduction (2ND)
  • 洋書

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

Hindley, J. Roger/ Seldin, Jonathan P.

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