Computing with Categories

David Rydeheard; Rod M Burstall; David H Pitt; Samson Abramsky; Axel Poigné; David E Rydeheard

Computing with Categories

David Rydeheard, Rod M Burstall, David H Pitt (Editor), Samson Abramsky (Editor), Axel Poigné (Editor), David E Rydeheard (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	CTCS
Editors	David H Pitt, Samson Abramsky, Axel Poigné, David E Rydeheard
Publisher	Springer Nature
Pages	506-519
Number of pages	14
Volume	240
ISBN (Print)	3-540-17162-2
Publication status	Published - 1985
Event	Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.html#RydeheardB85http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.html#RydeheardB85http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85

Access to Document

Cite this

@inproceedings{080440285b4c4493aaa7368ec95898ad,

title = "Computing with Categories",

author = "David Rydeheard and Burstall, {Rod M} and Pitt, {David H} and Samson Abramsky and Axel Poign{\'e} and Rydeheard, {David E}",

year = "1985",

language = "English",

isbn = "3-540-17162-2",

volume = "240",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "506--519",

editor = "Pitt, {David H} and Samson Abramsky and Axel Poign{\'e} and Rydeheard, {David E}",

booktitle = "CTCS",

address = "United States",

note = "Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.html#RydeheardB85http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85",

}

Rydeheard, D, Burstall, RM, Pitt, DH (ed.), Abramsky, S (ed.), Poigné, A (ed.) & Rydeheard, DE (ed.) 1985, Computing with Categories. in DH Pitt, S Abramsky, A Poigné & DE Rydeheard (eds), CTCS. vol. 240, Lecture Notes in Computer Science, Springer Nature, pp. 506-519, Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.html#RydeheardB85a>

TY - GEN

T1 - Computing with Categories

AU - Rydeheard, David

AU - Burstall, Rod M

A2 - Pitt, David H

A2 - Abramsky, Samson

A2 - Poigné, Axel

A2 - Rydeheard, David E

A2 - Pitt, David H

A2 - Abramsky, Samson

A2 - Poigné, Axel

A2 - Rydeheard, David E

PY - 1985

Y1 - 1985

M3 - Conference contribution

SN - 3-540-17162-2

VL - 240

T3 - Lecture Notes in Computer Science

SP - 506

EP - 519

BT - CTCS

PB - Springer Nature

T2 - Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings

Y2 - 1 January 1824

ER -