Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings

David H Pitt; Pierre-Louis Curien; Samson Abramsky; Andrew M Pitts; Axel Poigné; David E Rydeheard

Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings

David H Pitt (Editor), Pierre-Louis Curien (Editor), Samson Abramsky (Editor), Andrew M Pitts (Editor), Axel Poigné (Editor), David E Rydeheard (Editor)

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

Original language	English
Title of host publication	Lecture Notes in Computer Science
Publisher	Springer Nature
Volume	530
ISBN (Print)	3-540-54495-X
Publication status	Published - 1991
Event	CTCS - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/1985.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/1985

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	CTCS
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/1985.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/1985

Access to Document

Cite this

Pitt, D. H., Curien, P.-L., Abramsky, S., Pitts, A. M., Poigné, A., & Rydeheard, D. E. (Eds.) (1991). Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings. In Lecture Notes in Computer Science (Vol. 530). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/ctcs/ctcs1991.html

@inproceedings{97919f26d14348cf86174e0bac0306bb,

title = "Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings",

author = "Pitt, {David H} and Pierre-Louis Curien and Samson Abramsky and Pitts, {Andrew M} and Axel Poign{\'e} and Rydeheard, {David E}",

year = "1991",

language = "English",

isbn = "3-540-54495-X",

volume = "530",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

booktitle = "Lecture Notes in Computer Science",

address = "United States",

note = "CTCS ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/1985.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/1985",

}

Pitt, DH, Curien, P-L, Abramsky, S, Pitts, AM, Poigné, A & Rydeheard, DE (eds) 1991, Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings. in Lecture Notes in Computer Science. vol. 530, Lecture Notes in Computer Science, Springer Nature, CTCS, 1/01/24. <http://dblp.uni-trier.de/db/conf/ctcs/ctcs1991.html>

Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings. / Pitt, David H (Editor); Curien, Pierre-Louis (Editor); Abramsky, Samson (Editor) et al.
Lecture Notes in Computer Science. Vol. 530 Springer Nature, 1991. (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings

A2 - Pitt, David H

A2 - Curien, Pierre-Louis

A2 - Abramsky, Samson

A2 - Pitts, Andrew M

A2 - Poigné, Axel

A2 - Rydeheard, David E

PY - 1991

Y1 - 1991

M3 - Conference contribution

SN - 3-540-54495-X

VL - 530

T3 - Lecture Notes in Computer Science

BT - Lecture Notes in Computer Science

PB - Springer Nature

T2 - CTCS

Y2 - 1 January 1824

ER -