NCID | DA0200866X |
名称(HDNG) | Conference on Category Theory and Computer Science |
生没年(DATE) | 1987;1989;1991;1995;1997 |
から見よ(SF) | Summer Conference on Category Theory and Computer Science International Conference, CTCS Biennial Conference on Category Theory and Computer Science |
注記(NOTE) | Its (Sept. 3-6, 1991 : Paris, France) Category theory and computer science, c1991 Its (Sept. 5-8, 1989 : Manchester, U.K.) Category theory and computer science, c1989 Its (Sept. 7-9, 1987 : Edinburgh, U.K.) Category theory and computer science, c1987 EDSRC: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(Springer, c1995) EDSRC:Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings / Eugenio Moggi, Giuseppe Rosolini (eds.)(Springer-Verlag, c1997) |
LCAID | 82220889 |