著者典拠情報

標目形：
Rydeheard, D. E. (David E.)
属性：
Personal
から見よ参照形：
Rydeheard, David E
Rydeheard, David Eric
注記：
Category theory and computer science, c1987: CIP t.p. (D.E. Rydeheard) t.p. verso (David E. Rydeheard, The University, Manchester, U.K.)
EDSRC:Applications of category theory to programming and program specification / by David Eric Rydeheard(University of Edinburgh, Department of Computer Science, 1981)
著者典拠ID：
DA01800341


 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…