Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings

David H Pitt; David E Rydeheard; Peter Dybjer; Andrew M Pitts; Axel Poigné

Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings

David H Pitt (Editor), David E Rydeheard (Editor), Peter Dybjer (Editor), Andrew M Pitts (Editor), Axel Poigné (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	389
ISBN (Print)	3-540-51662-X
Publication status	Published - 1989
Event	Category Theory and Computer Science - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/ctcs/ctcs89.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/1989.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/1989

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	Category Theory and Computer Science
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/ctcs/ctcs89.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/1989.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/1989

Access to Document

Cite this

@inproceedings{1db029231922498294abdf62c1147e9e,

title = "Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings",

author = "Pitt, {David H} and Rydeheard, {David E} and Peter Dybjer and Pitts, {Andrew M} and Axel Poign{\'e}",

year = "1989",

language = "English",

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

volume = "389",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

booktitle = "Lecture Notes in Computer Science",

address = "United States",

note = "Category Theory and Computer Science ; Conference date: 01-01-1824",

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

}

TY - GEN

T1 - Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings

A2 - Pitt, David H

A2 - Rydeheard, David E

A2 - Dybjer, Peter

A2 - Pitts, Andrew M

A2 - Poigné, Axel

PY - 1989

Y1 - 1989

M3 - Conference contribution

SN - 3-540-51662-X

VL - 389

T3 - Lecture Notes in Computer Science

BT - Lecture Notes in Computer Science

PB - Springer Nature

T2 - Category Theory and Computer Science

Y2 - 1 January 1824

ER -