登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Derivation and computation : taking the Curry-Howard correspondence seriously
出版社：Cambridge ; New York : Cambridge University Press, c2000.
ISBN：0521771730
出版年：2000
作者：Simmons,Harold.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Lectures on the Curry-Howard isomorphism
  • 作者：Sørensen,Morten Heine.
  • ISBN：9780444520777
  • 出版社：Amsterdam ; Boston [MA] : Elsevier, c2006.
  • 出版年：2007
...

Taking sustainable cities seriously : economic development, the environment, and quality of life in
  • 作者：Portney,Kent E.
  • ISBN：9780262518277
  • 出版社：Cambridge, Mass. : MIT Press, c2013.
  • 出版年：2013
...

Taking software design seriously : practical techniques for human-computer interaction design
  • 作者：Karat,John.
  • ISBN：012397710X
  • 出版社：Boston : Academic Press, c1991.
  • 出版年：1991
...

Taking ethno-cultural diversity seriously in constitutional design : a theory of minority rights for
  • 作者：Dersso,Solomon A.
  • ISBN：9789004205352
  • 出版社：Leiden ; Boston : Martinus Nijhoff Publishers, 2012.
  • 出版年：2012
...

Correspondence
  • 作者：Newton,Isaac,
  • ISBN：0521087228
  • 出版社：London : Cambridge Univ. Press, 1959-77.
  • 出版年：1959
...

Derivation and integration
  • 作者：Pfeffer,Washek F.
  • ISBN：0521792681
  • 出版社：Cambridge ; New York : Cambridge University Press, 2001.
  • 出版年：2001