Applications of categories in computer science: proceedings of the LMS Symposium, Durham 1991
Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the conference were leadi...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
1992
|
| Schriftenreihe: | London Mathematical Society lecture note series
177 |
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 Volltext |
| Zusammenfassung: | Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the conference were leading computer scientists and mathematicians working in the area and this volume reflects the excitement and importance of the meeting. All the papers have been refereed and represent some of the most important and current ideas. Hence this book will be essential to mathematicians and computer scientists working in the applications of category theory |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (339 pages) |
| ISBN: | 9780511525902 |
| DOI: | 10.1017/CBO9780511525902 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043946032 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s1992 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511525902 |c Online |9 978-0-511-52590-2 | ||
| 024 | 7 | |a 10.1017/CBO9780511525902 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511525902 | ||
| 035 | |a (OCoLC)849792988 | ||
| 035 | |a (DE-599)BVBBV043946032 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 004.01 |2 12eng | |
| 084 | |a SI 320 |0 (DE-625)143123: |2 rvk | ||
| 084 | |a SS 1991 |0 (DE-625)143428: |2 rvk | ||
| 110 | 2 | |a LMS Durham Symposium <1991> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Applications of categories in computer science |b proceedings of the LMS Symposium, Durham 1991 |c edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1992 | |
| 300 | |a 1 online resource (339 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a London Mathematical Society lecture note series |v 177 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | |a Computational comonads and intensional semantics / Stephen Brookes, Shai Geva -- Weakly distributive categories / J.R.B. Cockett, R.A.G. Seely -- Sequentiality and full abstraction / P.-L. Curien -- Remarks on algebraically compact categories / Peter Freyd -- Dinaturality for free / Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini -- Simply typed and untyped lambda calculus revisited / Bart Jacobs -- Modelling reduction in confluent categories / C. Barry Jay -- On clubs and data-type constructors / G.M. Kelly -- Penrose diagrams and 2-dimensional rewriting / Yves Lafont -- Strong monads, algebras and fixed points / Philip S. Mulry -- Semantics of local variables / P.W. O'Hearn, R.D. Tennent -- Using fibrations to understand subtypes / Wesley Phoa -- Reasoning about sequential functions via logical relations / Kurt Sieber -- I-categories and duality / M.B. Smyth -- Geometric theories and databases / Steven Vickers -- Partial products, bagdomains and hyperlocal toposes / P.T. Johnstone | |
| 520 | |a Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the conference were leading computer scientists and mathematicians working in the area and this volume reflects the excitement and importance of the meeting. All the papers have been refereed and represent some of the most important and current ideas. Hence this book will be essential to mathematicians and computer scientists working in the applications of category theory | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science / Mathematics / Congresses | |
| 650 | 4 | |a Categories (Mathematics) / Congresses | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Fourman, M. P. |d 1950- |4 edt | |
| 700 | 1 | |a Johnstone, P. T. |4 edt | |
| 700 | 1 | |a Pitts, A. M. |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-42726-5 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511525902 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029355003 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511525902 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511525902 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176892901720064 |
|---|---|
| any_adam_object | |
| author2 | Fourman, M. P. 1950- Johnstone, P. T. Pitts, A. M. |
| author2_role | edt edt edt |
| author2_variant | m p f mp mpf p t j pt ptj a m p am amp |
| author_corporate | LMS Durham Symposium <1991> |
| author_corporate_role | aut |
| author_facet | Fourman, M. P. 1950- Johnstone, P. T. Pitts, A. M. LMS Durham Symposium <1991> |
| author_sort | LMS Durham Symposium <1991> |
| building | Verbundindex |
| bvnumber | BV043946032 |
| classification_rvk | SI 320 SS 1991 |
| collection | ZDB-20-CBO |
| contents | Computational comonads and intensional semantics / Stephen Brookes, Shai Geva -- Weakly distributive categories / J.R.B. Cockett, R.A.G. Seely -- Sequentiality and full abstraction / P.-L. Curien -- Remarks on algebraically compact categories / Peter Freyd -- Dinaturality for free / Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini -- Simply typed and untyped lambda calculus revisited / Bart Jacobs -- Modelling reduction in confluent categories / C. Barry Jay -- On clubs and data-type constructors / G.M. Kelly -- Penrose diagrams and 2-dimensional rewriting / Yves Lafont -- Strong monads, algebras and fixed points / Philip S. Mulry -- Semantics of local variables / P.W. O'Hearn, R.D. Tennent -- Using fibrations to understand subtypes / Wesley Phoa -- Reasoning about sequential functions via logical relations / Kurt Sieber -- I-categories and duality / M.B. Smyth -- Geometric theories and databases / Steven Vickers -- Partial products, bagdomains and hyperlocal toposes / P.T. Johnstone |
| ctrlnum | (ZDB-20-CBO)CR9780511525902 (OCoLC)849792988 (DE-599)BVBBV043946032 |
| dewey-full | 004.01 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.01 |
| dewey-search | 004.01 |
| dewey-sort | 14.01 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1017/CBO9780511525902 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04023nmm a2200589zcb4500</leader><controlfield tag="001">BV043946032</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s1992 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511525902</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-52590-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511525902</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511525902</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)849792988</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043946032</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.01</subfield><subfield code="2">12eng</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 320</subfield><subfield code="0">(DE-625)143123:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1991</subfield><subfield code="0">(DE-625)143428:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">LMS Durham Symposium <1991></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Applications of categories in computer science</subfield><subfield code="b">proceedings of the LMS Symposium, Durham 1991</subfield><subfield code="c">edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (339 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">177</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Computational comonads and intensional semantics / Stephen Brookes, Shai Geva -- Weakly distributive categories / J.R.B. Cockett, R.A.G. Seely -- Sequentiality and full abstraction / P.-L. Curien -- Remarks on algebraically compact categories / Peter Freyd -- Dinaturality for free / Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini -- Simply typed and untyped lambda calculus revisited / Bart Jacobs -- Modelling reduction in confluent categories / C. Barry Jay -- On clubs and data-type constructors / G.M. Kelly -- Penrose diagrams and 2-dimensional rewriting / Yves Lafont -- Strong monads, algebras and fixed points / Philip S. Mulry -- Semantics of local variables / P.W. O'Hearn, R.D. Tennent -- Using fibrations to understand subtypes / Wesley Phoa -- Reasoning about sequential functions via logical relations / Kurt Sieber -- I-categories and duality / M.B. Smyth -- Geometric theories and databases / Steven Vickers -- Partial products, bagdomains and hyperlocal toposes / P.T. Johnstone</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the conference were leading computer scientists and mathematicians working in the area and this volume reflects the excitement and importance of the meeting. All the papers have been refereed and represent some of the most important and current ideas. Hence this book will be essential to mathematicians and computer scientists working in the applications of category theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics) / Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fourman, M. P.</subfield><subfield code="d">1950-</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Johnstone, P. T.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pitts, A. M.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-42726-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511525902</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029355003</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511525902</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511525902</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043946032 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:24Z |
| institution | BVB |
| isbn | 9780511525902 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029355003 |
| oclc_num | 849792988 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (339 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | London Mathematical Society lecture note series |
| spelling | LMS Durham Symposium <1991> Verfasser aut Applications of categories in computer science proceedings of the LMS Symposium, Durham 1991 edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts Cambridge Cambridge University Press 1992 1 online resource (339 pages) txt rdacontent c rdamedia cr rdacarrier London Mathematical Society lecture note series 177 Title from publisher's bibliographic system (viewed on 05 Oct 2015) Computational comonads and intensional semantics / Stephen Brookes, Shai Geva -- Weakly distributive categories / J.R.B. Cockett, R.A.G. Seely -- Sequentiality and full abstraction / P.-L. Curien -- Remarks on algebraically compact categories / Peter Freyd -- Dinaturality for free / Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini -- Simply typed and untyped lambda calculus revisited / Bart Jacobs -- Modelling reduction in confluent categories / C. Barry Jay -- On clubs and data-type constructors / G.M. Kelly -- Penrose diagrams and 2-dimensional rewriting / Yves Lafont -- Strong monads, algebras and fixed points / Philip S. Mulry -- Semantics of local variables / P.W. O'Hearn, R.D. Tennent -- Using fibrations to understand subtypes / Wesley Phoa -- Reasoning about sequential functions via logical relations / Kurt Sieber -- I-categories and duality / M.B. Smyth -- Geometric theories and databases / Steven Vickers -- Partial products, bagdomains and hyperlocal toposes / P.T. Johnstone Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the conference were leading computer scientists and mathematicians working in the area and this volume reflects the excitement and importance of the meeting. All the papers have been refereed and represent some of the most important and current ideas. Hence this book will be essential to mathematicians and computer scientists working in the applications of category theory Informatik Mathematik Computer science / Mathematics / Congresses Categories (Mathematics) / Congresses Informatik (DE-588)4026894-9 gnd rswk-swf Kategorientheorie (DE-588)4120552-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Informatik (DE-588)4026894-9 s Kategorientheorie (DE-588)4120552-2 s 1\p DE-604 Fourman, M. P. 1950- edt Johnstone, P. T. edt Pitts, A. M. edt Erscheint auch als Druckausgabe 978-0-521-42726-5 https://doi.org/10.1017/CBO9780511525902 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Applications of categories in computer science proceedings of the LMS Symposium, Durham 1991 Computational comonads and intensional semantics / Stephen Brookes, Shai Geva -- Weakly distributive categories / J.R.B. Cockett, R.A.G. Seely -- Sequentiality and full abstraction / P.-L. Curien -- Remarks on algebraically compact categories / Peter Freyd -- Dinaturality for free / Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini -- Simply typed and untyped lambda calculus revisited / Bart Jacobs -- Modelling reduction in confluent categories / C. Barry Jay -- On clubs and data-type constructors / G.M. Kelly -- Penrose diagrams and 2-dimensional rewriting / Yves Lafont -- Strong monads, algebras and fixed points / Philip S. Mulry -- Semantics of local variables / P.W. O'Hearn, R.D. Tennent -- Using fibrations to understand subtypes / Wesley Phoa -- Reasoning about sequential functions via logical relations / Kurt Sieber -- I-categories and duality / M.B. Smyth -- Geometric theories and databases / Steven Vickers -- Partial products, bagdomains and hyperlocal toposes / P.T. Johnstone Informatik Mathematik Computer science / Mathematics / Congresses Categories (Mathematics) / Congresses Informatik (DE-588)4026894-9 gnd Kategorientheorie (DE-588)4120552-2 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4120552-2 (DE-588)1071861417 |
| title | Applications of categories in computer science proceedings of the LMS Symposium, Durham 1991 |
| title_auth | Applications of categories in computer science proceedings of the LMS Symposium, Durham 1991 |
| title_exact_search | Applications of categories in computer science proceedings of the LMS Symposium, Durham 1991 |
| title_full | Applications of categories in computer science proceedings of the LMS Symposium, Durham 1991 edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts |
| title_fullStr | Applications of categories in computer science proceedings of the LMS Symposium, Durham 1991 edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts |
| title_full_unstemmed | Applications of categories in computer science proceedings of the LMS Symposium, Durham 1991 edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts |
| title_short | Applications of categories in computer science |
| title_sort | applications of categories in computer science proceedings of the lms symposium durham 1991 |
| title_sub | proceedings of the LMS Symposium, Durham 1991 |
| topic | Informatik Mathematik Computer science / Mathematics / Congresses Categories (Mathematics) / Congresses Informatik (DE-588)4026894-9 gnd Kategorientheorie (DE-588)4120552-2 gnd |
| topic_facet | Informatik Mathematik Computer science / Mathematics / Congresses Categories (Mathematics) / Congresses Kategorientheorie Konferenzschrift |
| url | https://doi.org/10.1017/CBO9780511525902 |
| work_keys_str_mv | AT lmsdurhamsymposium1991 applicationsofcategoriesincomputerscienceproceedingsofthelmssymposiumdurham1991 AT fourmanmp applicationsofcategoriesincomputerscienceproceedingsofthelmssymposiumdurham1991 AT johnstonept applicationsofcategoriesincomputerscienceproceedingsofthelmssymposiumdurham1991 AT pittsam applicationsofcategoriesincomputerscienceproceedingsofthelmssymposiumdurham1991 |