Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings

>> Google Books

所蔵情報QRコード

Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings / edited by David Pitt ... [et al.]

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1986

形態:

vii, 519 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 240 <BA00009279>

著者名:

ISBN:

9783540171621 [3540171622] (: gw)
9780387171623 [0387171622] (: us)

書誌ID:

BA0038364X

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	カテゴリー(数学); プログラミング(電子計算機)
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings Pitt, David., Abramsky, Samson., Poigne, Axel., Rydeheard, David., SpringerLink (Online service)	7 電子ブック Category Theory and Computer Science Pitt, Johnstone, P. T., Pitt, David H., Rydeheard, David E. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings Pitt, David H., Rydeheard, David E., Dybjer, Peter., Pitts, Andrew., Poigne, Axel., SpringerLink (Online service)	8 図書 Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings (: gw ; : us) Conference on Category Theory and Computer Science, Pitt, David (David H.) Springer-Verlag
3 図書 Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings (: gw ; : us) Pitt, David (David H.), Conference on Category Theory and Computer Science Springer-Verlag	9 電子ブック Category Theory and Computer Science Pitt SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings Pitt, David H., Poigne, Axel., Rydeheard, David E., SpringerLink (Online service)	10 電子ブック Category Theory and Computer Science Pitt SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Category Theory and Computer Programming Pitt SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Category Theory and Computer Science Pitt SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 図書 Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings (: gw ; : us) Conference on Category Theory and Computer Science, Pitt, David (David H.), Poigné, A., Rydeheard, D. E. (David E.) Springer-Verlag	12 図書 Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 (: gw ; : us) International Workshop on Advanced Programming Environments, Conradi, Reidar, Didriksen, Tor M., Wanvik, Dag H., … Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12