Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
1992.
|
| Colección: | London Mathematical Society lecture note series ;
177. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn837287148 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130409s1992 enka ob 100 0 eng d | ||
| 010 | |z 94220303 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCO |d E7B |d OCLCF |d OCLCO |d YDXCP |d OCL |d OCLCO |d OCLCQ |d OCLCO |d UIU |d OCLCQ |d AGLDB |d UAB |d OCLCQ |d VTS |d REC |d STF |d AU@ |d M8D |d OL$ |d OCLCQ |d OCL |d VLY |d AJS |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 708565584 |a 1102536929 |a 1162449232 |a 1241886871 |a 1242485236 | ||
| 020 | |a 9781107361843 |q (electronic bk.) | ||
| 020 | |a 1107361842 |q (electronic bk.) | ||
| 020 | |a 9780511525902 |q (e-book) | ||
| 020 | |a 0511525907 |q (e-book) | ||
| 020 | |z 0521427266 | ||
| 020 | |z 9780521427265 | ||
| 020 | |a 1139881949 | ||
| 020 | |a 9781139881944 | ||
| 020 | |a 1107366755 | ||
| 020 | |a 9781107366756 | ||
| 020 | |a 1107371430 | ||
| 020 | |a 9781107371439 | ||
| 020 | |a 1107369959 | ||
| 020 | |a 9781107369955 | ||
| 020 | |a 1299404502 | ||
| 020 | |a 9781299404502 | ||
| 020 | |a 1107364299 | ||
| 020 | |a 9781107364295 | ||
| 029 | 1 | |a DEBBG |b BV043068002 | |
| 029 | 1 | |a DEBSZ |b 42126750X | |
| 029 | 1 | |a GBVCP |b 804540829 | |
| 035 | |a (OCoLC)837287148 |z (OCoLC)708565584 |z (OCoLC)1102536929 |z (OCoLC)1162449232 |z (OCoLC)1241886871 |z (OCoLC)1242485236 | ||
| 050 | 4 | |a QA76.9.M35 | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004.01 |2 23 |
| 049 | |a UAMI | ||
| 111 | 2 | |a LMS Durham Symposium |d (1991) | |
| 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. |
| 260 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 1992. | ||
| 300 | |a 1 online resource (339 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a London Mathematical Society lecture note series ; |v 177 | |
| 500 | |a Title from PDF title page (viewed on Apr. 9, 2013). | ||
| 500 | |a "The London Mathematical Society Symposium on Applications of Categories in Computer Science took place ... at the University of Durham from 20 to 30 July 1991"--Preface. | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |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. | ||
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computer science |x Mathematics |v Congresses. | |
| 650 | 0 | |a Categories (Mathematics) |v Congresses. | |
| 650 | 6 | |a Informatique |x Mathématiques |v Congrès. | |
| 650 | 6 | |a Catégories (Mathématiques) |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Categories (Mathematics) |2 fast | |
| 650 | 7 | |a Computer science |x Mathematics |2 fast | |
| 650 | 7 | |a Teoria das categorias (congressos) |2 larpcal | |
| 650 | 7 | |a Informatique |x Mathématiques |x Congrès. |2 ram | |
| 650 | 7 | |a Catégories (Mathématiques) |x Congrès. |2 ram | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Fourman, M. P., |d 1950- | |
| 700 | 1 | |a Johnstone, P. T. | |
| 700 | 1 | |a Pitts, A. M. |q (Andrew M.) | |
| 776 | 0 | 8 | |i Print version: |a LMS Durham Symposium (1991). |t Applications of categories in computer science. |d Cambridge ; New York : Cambridge University Press, 1992 |w (DLC) 94220303 |
| 830 | 0 | |a London Mathematical Society lecture note series ; |v 177. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552375 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10444097 | ||
| 938 | |a EBSCOhost |b EBSC |n 552375 | ||
| 938 | |a YBP Library Services |b YANK |n 10370418 | ||
| 938 | |a YBP Library Services |b YANK |n 10405614 | ||
| 994 | |a 92 |b IZTAP | ||