close
1.

図書
図書
1. Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
David Pitt, David E. Rydeheard, Peter Johnstone (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 953
所蔵情報: loading…
2.

図書
図書
2. Computational category theory
David E. Rydeheard, Rod M. Burstall
出版情報: New York ; Tokyo : Prentice Hall, 1988
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
3.

図書
図書
3. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings (: gw ; : us)
D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 283
所蔵情報: loading…