豆瓣图书标签: 类型论

综合排序  /  按出版日期排序  /  按评价排序
  • Type Theory and Formal Proof : An Introduction

    Rob Nederpelt、Herman Geuvers / Cambridge University Press / 2014-10-31 / USB 80.00
    (少于10人评价)

    Type theory is a fast-evolving field at the crossroads of logic, computer scie...

  • Intuitionistic Type Theory : Notes by Giovanni Sambin of a Series of Lectures Given in Padua

    Per Martin-Lof / Prometheus Books / 1985-6
    (少于10人评价)

    Intuitionistic type theory (also constructive type theory or Martin-Löf type t...

  • 观念与范式 : 类型电影研究

    沈国芳 / 中国电影出版社 / 2005-12 / 26.00元
    6.7 (44人评价)

    《观念与范式——类型电影研究》是沈国芳教授继《电影审美学》、《中国传媒大趋势》之后的新著。类型电影是伴随着电影诞生的一种独特而复杂的电影现象。上世纪80年代...

  • Categories for Types

    Crole, Roy L. / 1994-1 / $ 88.14
    (少于10人评价)

    This textbook explains the basic principles of categorical type theory and the...

  • Lambda Calculus with Types

    Henk Barendregt、Wil Dekkers、Richard Statman / Cambridge University Press / 2013-7-31 / USD 90.00
    (少于10人评价)

    The lambda calculus forms a prototype universal programming language, which in...


相关的标签  · · · · · ·



> 浏览全部图书标签