Category Theory and Computer Science

EISBN:9783540446613
PISBN:9783540601647
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1995
版次:1995
作者:David Pitt,David E. Rydeheard,Peter Johnstone
主题词:Computer Science,Mathematics of Computing,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Software Engineering,Programming Languages,Compilers,Interpreters,K-Theory
语种:英语
相关推荐

Category Theory and Computer Science

  • 作者:David H. Pitt,Axel Poigne,David E. Rydeheard
  • EISBN:9783540480068
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987

Category Theory and Computer Science

  • 作者:Eugenio Moggi,Giuseppe Rosolini
  • EISBN:9783540695523
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Category Theory and Computer Science

  • 作者:Eugenio Moggi,Giuseppe Rosolini
  • EISBN:9783540695523
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Category Theory and Computer Science

  • 作者:David H. Pitt,Pierre-Louis Curien,Samson Abramsky,Andrew Pitts,Axel Poigne,David E. Rydeheard
  • EISBN:9783540384137
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991

Category Theory and Computer Science

  • 作者:David H. Pitt,Axel Poigné,David E. Rydeheard
  • EISBN:9783540480068
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987

Category Theory and Computer Science

  • 作者:David H. Pitt,Pierre-Louis Curien,Samson Abramsky,Andrew M. Pitts,Axel Poigné,David E. Rydeheard
  • EISBN:9783540384137
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991