Category theory and computer science: 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1995
|
| Series: | Lecture notes in computer science
953 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 252 S. |
| ISBN: | 3540601643 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010309754 | ||
| 003 | DE-604 | ||
| 005 | 20080606 | ||
| 007 | t| | ||
| 008 | 950717s1995 gw |||| 10||| eng d | ||
| 016 | 7 | |a 944823211 |2 DE-101 | |
| 020 | |a 3540601643 |9 3-540-60164-3 | ||
| 035 | |a (OCoLC)605068502 | ||
| 035 | |a (DE-599)BVBBV010309754 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-19 |a DE-20 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.6.B53 1995 | |
| 082 | 0 | |a 005.13/1 20 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 180f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Category theory and computer science |b 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings |c David Pitt ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1995 | |
| 300 | |a 252 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 953 | |
| 650 | 7 | |a Analyse informatique |2 ram | |
| 650 | 7 | |a Categorieën (wiskunde) |2 gtt | |
| 650 | 7 | |a Catégories (mathématiques) |2 ram | |
| 650 | 7 | |a Computers |2 gtt | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique programme |2 inriac | |
| 650 | 7 | |a théorie catégorie |2 inriac | |
| 650 | 7 | |a théorie domaine |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 650 | 4 | |a Computer programming -- Congresses | |
| 650 | 4 | |a Categories (Mathematics) -- Congresses | |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Cambridge |2 gnd-content | |
| 689 | 0 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 1 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Pitt, David H. |e Sonstige |4 oth | |
| 711 | 2 | |a CTCS |n 6 |d 1995 |c Cambridge |j Sonstige |0 (DE-588)2148452-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 953 |w (DE-604)BV000000607 |9 953 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006861049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006861049 | |
Record in the Search Index
| _version_ | 1820868265271885824 |
|---|---|
| adam_text |
CONTENTS
ROBIN
MILNER
CONTROL
STRUCTURES:
A
MODEL
OF
INTERACTION
1
DUSKO
PAVLOVIC
CONVENIENT
CATEGORY
OF
PROCESSES
AND
SIMULATIONS
I:
MODULO
STRONG
BISIMILARITY
3
ERIC
BADOUEL
AND
PHILIPPE
DARONDEAU
DUALITIES
BETWEEN
NETS
AND
AUTOMATA
INDUCED
BY
SCHIZOPHRENIC
OBJECTS
24
YASUO
KAWAHARA
RELATIONAL
SET
THEORY
44
S.
SOLOVIEV
PROOF
OF
A
S.
MAC
LANE
CONJECTURE
59
ANDREA
ASPERTI
AND
AGATA
CIABATTONI
EFFECTIVE
APPLICATIVE
STRUCTURES
81
J.M.E.
HYLAND
AND
E.
MOGGI
THE
S-REPLETE
CONSTRUCTION
96
ALEX
K.
SIMPSON
THE
CONVEX
POWERDOMAIN
IN
A
CATEGORY
OF
POSETS
REALIZED
BY
CPOS
117
MARCELO
P.
FIORE
LIFTING
AS
A
KZ-DOCTRINE
146
ROLAND
BACKHOUSE,
MARCEL
BIJSTERVELD,
RIK
VAN
GELDROP
AND
JAAP
VAN
DER
WOUDECATEGORICAL
FIXED
POINT
CALCULUS
159
STEPHEN
BROOKES
A
CATEGORY-THEORETIC
TREATMENT
OF
A
PARALLEL
ALGOL-LIKE
LANGUAGE
180
THORSTEN
ALTENKIRCH,
MARTIN
HOFMANN
AND
THOMAS
STREICHER
CATEGORICAL
RECONSTRUCTION
OF
A
REDUCTION
FREE
NORMALIZATION
PROOF
182
MASAHITO
HASEGAWA
DECOMPOSING
TYPED
LAMBDA
CALCULUS
INTO
A
COUPLE
OF
CATEGORICAL
PROGRAMMING
LANGUAGES
200
J.R.
OTTO,
JR.
V-COMPREHENSIONS
AND
P
SPACE
220
MICHAEL
FOURMAN
AND
HAYO
THIELECKE
A
PROPOSED
CATEGORICAL
SEMANTICS
FOR
ML
MODULES
240 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010309754 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6.B53 1995 |
| callnumber-search | QA76.6.B53 1995 |
| callnumber-sort | QA 276.6 B53 41995 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| classification_tum | MAT 180f |
| ctrlnum | (OCoLC)605068502 (DE-599)BVBBV010309754 |
| dewey-full | 005.13/120 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 20 005.13/1 |
| dewey-search | 005.13/1 20 005.13/1 |
| dewey-sort | 15.13 11 220 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010309754</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080606</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950717s1995 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944823211</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540601643</subfield><subfield code="9">3-540-60164-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)605068502</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010309754</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6.B53 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 180f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Category theory and computer science</subfield><subfield code="b">6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings</subfield><subfield code="c">David Pitt ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">252 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">953</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Analyse informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Categorieën (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Catégories (mathématiques)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computers</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie catégorie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie domaine</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie démonstration</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming -- 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">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Cambridge</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pitt, David H.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CTCS</subfield><subfield code="n">6</subfield><subfield code="d">1995</subfield><subfield code="c">Cambridge</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2148452-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">953</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">953</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006861049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006861049</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Cambridge gnd-content |
| genre_facet | Konferenzschrift 1995 Cambridge |
| id | DE-604.BV010309754 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:21:36Z |
| institution | BVB |
| institution_GND | (DE-588)2148452-1 |
| isbn | 3540601643 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006861049 |
| oclc_num | 605068502 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | 252 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings David Pitt ... (eds.) Berlin [u.a.] Springer 1995 252 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 953 Analyse informatique ram Categorieën (wiskunde) gtt Catégories (mathématiques) ram Computers gtt lambda calcul inriac logique mathématique inriac logique programme inriac théorie catégorie inriac théorie domaine inriac théorie démonstration inriac Computer programming -- Congresses Categories (Mathematics) -- Congresses Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Cambridge gnd-content Kategorientheorie (DE-588)4120552-2 s DE-604 Informatik (DE-588)4026894-9 s Pitt, David H. Sonstige oth CTCS 6 1995 Cambridge Sonstige (DE-588)2148452-1 oth Lecture notes in computer science 953 (DE-604)BV000000607 953 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006861049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings Lecture notes in computer science Analyse informatique ram Categorieën (wiskunde) gtt Catégories (mathématiques) ram Computers gtt lambda calcul inriac logique mathématique inriac logique programme inriac théorie catégorie inriac théorie domaine inriac théorie démonstration inriac Computer programming -- Congresses Categories (Mathematics) -- Congresses Kategorientheorie (DE-588)4120552-2 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4120552-2 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings |
| title_auth | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings |
| title_exact_search | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings |
| title_full | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings David Pitt ... (eds.) |
| title_fullStr | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings David Pitt ... (eds.) |
| title_full_unstemmed | Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings David Pitt ... (eds.) |
| title_short | Category theory and computer science |
| title_sort | category theory and computer science 6th international conference ctcs 95 cambridge united kingdom august 7 11 1995 proceedings |
| title_sub | 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings |
| topic | Analyse informatique ram Categorieën (wiskunde) gtt Catégories (mathématiques) ram Computers gtt lambda calcul inriac logique mathématique inriac logique programme inriac théorie catégorie inriac théorie domaine inriac théorie démonstration inriac Computer programming -- Congresses Categories (Mathematics) -- Congresses Kategorientheorie (DE-588)4120552-2 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Analyse informatique Categorieën (wiskunde) Catégories (mathématiques) Computers lambda calcul logique mathématique logique programme théorie catégorie théorie domaine théorie démonstration Computer programming -- Congresses Categories (Mathematics) -- Congresses Kategorientheorie Informatik Konferenzschrift 1995 Cambridge |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006861049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT pittdavidh categorytheoryandcomputerscience6thinternationalconferencectcs95cambridgeunitedkingdomaugust7111995proceedings AT ctcscambridge categorytheoryandcomputerscience6thinternationalconferencectcs95cambridgeunitedkingdomaugust7111995proceedings |