本文に飛ぶ

年 〜
年

検索結果 6 件

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.

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.
紙図書
Springerc1995.<M15-A9766>
国立国会図書館
  • 著者標目...vid (David H.) Rydeheard, D. E. (David E.) Johnstone, P. T.

Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings / D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.). (Lecture notes in computer science)

Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings / D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1987.<M15-A3666>
国立国会図書館
  • 著者標目Pitt, David (David H.) Poigné, A. Rydeheard, D. E. (David E.)

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

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.)Springerc1995
全国の図書館
  • 著者標目...vid (David H.) Rydeheard, D. E. (David E.) Johnstone, P. T

Computational category theory

Computational category theory
紙図書
David E. Rydeheard, Rod M. BurstallPrentice Hall1988
全国の図書館
  • 著者標目Rydeheard, D. E. (David E.) Burstall, Rod M.

Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings : gw : us

Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings : gw : us
紙図書
D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.)Springer-Verlagc1987
全国の図書館
  • 著者標目...H.) Poigné, A. Rydeheard, D. E. (David E.) Conference on Category Theory...

Applications of category theory to programming and program specification

Applications of category theory to programming and program specification
紙図書
by David Eric RydeheardUniversity of Edinburgh, Department of Computer Science1981
全国の図書館
  • 著者標目Rydeheard, D. E. (David E.)

検索結果は以上です。

RSS