Collapsing partial combinatory algebras:
Abstract: "Partial combinatory algebras occur regularly in the literature as a framework for an abstract formulation of computation theory or recursion theory. In this paper we develop some general theory concerning homomorphic images (or collapses) of pca's, obtained by identification of...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1995
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
95,20 |
| Subjects: | |
| Summary: | Abstract: "Partial combinatory algebras occur regularly in the literature as a framework for an abstract formulation of computation theory or recursion theory. In this paper we develop some general theory concerning homomorphic images (or collapses) of pca's, obtained by identification of elements in a pca. We establish several facts concerning final collapses (maximal identification of elements). 'En passant' we find another example of a pca that cannot be extended to a total one." |
| Physical Description: | 17 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011063219 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 961115s1995 |||| 00||| engod | ||
| 035 | |a (OCoLC)33933150 | ||
| 035 | |a (DE-599)BVBBV011063219 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Bethke, Inge |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Collapsing partial combinatory algebras |c I. Bethke ; J. W. Klop |
| 264 | 1 | |a Amsterdam |c 1995 | |
| 300 | |a 17 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 95,20 | |
| 520 | 3 | |a Abstract: "Partial combinatory algebras occur regularly in the literature as a framework for an abstract formulation of computation theory or recursion theory. In this paper we develop some general theory concerning homomorphic images (or collapses) of pca's, obtained by identification of elements in a pca. We establish several facts concerning final collapses (maximal identification of elements). 'En passant' we find another example of a pca that cannot be extended to a total one." | |
| 650 | 4 | |a Combinatory logic | |
| 650 | 4 | |a Lambda calculus | |
| 700 | 1 | |a Klop, Jan Willem |d 1945- |e Verfasser |0 (DE-588)130644498 |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 95,20 |w (DE-604)BV008928356 |9 95,20 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007409349 | ||
Record in the Search Index
| _version_ | 1804125551989882880 |
|---|---|
| any_adam_object | |
| author | Bethke, Inge Klop, Jan Willem 1945- |
| author_GND | (DE-588)130644498 |
| author_facet | Bethke, Inge Klop, Jan Willem 1945- |
| author_role | aut aut |
| author_sort | Bethke, Inge |
| author_variant | i b ib j w k jw jwk |
| building | Verbundindex |
| bvnumber | BV011063219 |
| ctrlnum | (OCoLC)33933150 (DE-599)BVBBV011063219 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01519nam a2200301 cb4500</leader><controlfield tag="001">BV011063219</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961115s1995 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33933150</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011063219</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="100" ind1="1" ind2=" "><subfield code="a">Bethke, Inge</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Collapsing partial combinatory algebras</subfield><subfield code="c">I. Bethke ; J. W. Klop</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17 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">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">95,20</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Partial combinatory algebras occur regularly in the literature as a framework for an abstract formulation of computation theory or recursion theory. In this paper we develop some general theory concerning homomorphic images (or collapses) of pca's, obtained by identification of elements in a pca. We establish several facts concerning final collapses (maximal identification of elements). 'En passant' we find another example of a pca that cannot be extended to a total one."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatory logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lambda calculus</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Klop, Jan Willem</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)130644498</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">95,20</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">95,20</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007409349</subfield></datafield></record></collection> |
| id | DE-604.BV011063219 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:03:22Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007409349 |
| oclc_num | 33933150 |
| open_access_boolean | |
| physical | 17 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Bethke, Inge Verfasser aut Collapsing partial combinatory algebras I. Bethke ; J. W. Klop Amsterdam 1995 17 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 95,20 Abstract: "Partial combinatory algebras occur regularly in the literature as a framework for an abstract formulation of computation theory or recursion theory. In this paper we develop some general theory concerning homomorphic images (or collapses) of pca's, obtained by identification of elements in a pca. We establish several facts concerning final collapses (maximal identification of elements). 'En passant' we find another example of a pca that cannot be extended to a total one." Combinatory logic Lambda calculus Klop, Jan Willem 1945- Verfasser (DE-588)130644498 aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 95,20 (DE-604)BV008928356 95,20 |
| spellingShingle | Bethke, Inge Klop, Jan Willem 1945- Collapsing partial combinatory algebras Combinatory logic Lambda calculus |
| title | Collapsing partial combinatory algebras |
| title_auth | Collapsing partial combinatory algebras |
| title_exact_search | Collapsing partial combinatory algebras |
| title_full | Collapsing partial combinatory algebras I. Bethke ; J. W. Klop |
| title_fullStr | Collapsing partial combinatory algebras I. Bethke ; J. W. Klop |
| title_full_unstemmed | Collapsing partial combinatory algebras I. Bethke ; J. W. Klop |
| title_short | Collapsing partial combinatory algebras |
| title_sort | collapsing partial combinatory algebras |
| topic | Combinatory logic Lambda calculus |
| topic_facet | Combinatory logic Lambda calculus |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT bethkeinge collapsingpartialcombinatoryalgebras AT klopjanwillem collapsingpartialcombinatoryalgebras |