Verfügbarkeit: Cartesian closed categories of domains

Cartesian closed categories of domains:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jung, Achim (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam Centrum voor Wiskunde en Informatica 1989
Schriftenreihe:	CWI tract 66
Schlagworte:	Ensembles ordonnés Ordered sets Gerichtete Menge Geordnete Menge Kategorientheorie Abgeschlossene Kategorie Scott-Topologie Ordnungsrelation Hochschulschrift
Beschreibung:	110 S.
ISBN:	9061963761

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV022016230
003	DE-604
005	20040301000000.0
007	t
008	910718s1989 \|\|\|\| 00\|\|\| eng d
020			\|a 9061963761 \|9 90-6196-376-1
035			\|a (OCoLC)20849275
035			\|a (DE-599)BVBBV022016230
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-706
050		0	\|a QA169
100	1		\|a Jung, Achim \|e Verfasser \|4 aut
245	1	0	\|a Cartesian closed categories of domains \|c A. Jung
264		1	\|a Amsterdam \|b Centrum voor Wiskunde en Informatica \|c 1989
300			\|a 110 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a CWI tract \|v 66
650		7	\|a Ensembles ordonnés \|2 ram
650		4	\|a Ordered sets
650	0	7	\|a Gerichtete Menge \|0 (DE-588)4253346-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Geordnete Menge \|0 (DE-588)4156748-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Kategorientheorie \|0 (DE-588)4120552-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Abgeschlossene Kategorie \|0 (DE-588)4141051-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Scott-Topologie \|0 (DE-588)4735955-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Ordnungsrelation \|0 (DE-588)4172733-2 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Geordnete Menge \|0 (DE-588)4156748-1 \|D s
689	0		\|5 DE-604
689	1	0	\|a Scott-Topologie \|0 (DE-588)4735955-9 \|D s
689	1	1	\|a Gerichtete Menge \|0 (DE-588)4253346-6 \|D s
689	1	2	\|a Kategorientheorie \|0 (DE-588)4120552-2 \|D s
689	1		\|8 2\p \|5 DE-604
689	2	0	\|a Gerichtete Menge \|0 (DE-588)4253346-6 \|D s
689	2	1	\|a Abgeschlossene Kategorie \|0 (DE-588)4141051-8 \|D s
689	2		\|8 3\p \|5 DE-604
689	3	0	\|a Kategorientheorie \|0 (DE-588)4120552-2 \|D s
689	3	1	\|a Ordnungsrelation \|0 (DE-588)4172733-2 \|D s
689	3		\|8 4\p \|5 DE-604
830		0	\|a CWI tract \|v 66 \|w (DE-604)BV001902011
999			\|a oai:aleph.bib-bvb.de:BVB01-015230864
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Datensatz im Suchindex

_version_	1804135990377316352
adam_txt
any_adam_object
any_adam_object_boolean
author	Jung, Achim
author_facet	Jung, Achim
author_role	aut
author_sort	Jung, Achim
author_variant	a j aj
building	Verbundindex
bvnumber	BV022016230
callnumber-first	Q - Science
callnumber-label	QA169
callnumber-raw	QA169
callnumber-search	QA169
callnumber-sort	QA 3169
callnumber-subject	QA - Mathematics
ctrlnum	(OCoLC)20849275 (DE-599)BVBBV022016230
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02247nam a2200589zcb4500</leader><controlfield tag="001">BV022016230</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910718s1989 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9061963761</subfield><subfield code="9">90-6196-376-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20849275</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022016230</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA169</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jung, Achim</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Cartesian closed categories of domains</subfield><subfield code="c">A. Jung</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Centrum voor Wiskunde en Informatica</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">110 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">CWI tract</subfield><subfield code="v">66</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ensembles ordonnés</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ordered sets</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gerichtete Menge</subfield><subfield code="0">(DE-588)4253346-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Geordnete Menge</subfield><subfield code="0">(DE-588)4156748-1</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="650" ind1="0" ind2="7"><subfield code="a">Abgeschlossene Kategorie</subfield><subfield code="0">(DE-588)4141051-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Scott-Topologie</subfield><subfield code="0">(DE-588)4735955-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ordnungsrelation</subfield><subfield code="0">(DE-588)4172733-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Geordnete Menge</subfield><subfield code="0">(DE-588)4156748-1</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">Scott-Topologie</subfield><subfield code="0">(DE-588)4735955-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Gerichtete Menge</subfield><subfield code="0">(DE-588)4253346-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Gerichtete Menge</subfield><subfield code="0">(DE-588)4253346-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Abgeschlossene Kategorie</subfield><subfield code="0">(DE-588)4141051-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2="1"><subfield code="a">Ordnungsrelation</subfield><subfield code="0">(DE-588)4172733-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">CWI tract</subfield><subfield code="v">66</subfield><subfield code="w">(DE-604)BV001902011</subfield><subfield code="9"></subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015230864</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="883" ind1="1" ind2=" "><subfield code="8">2\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="883" ind1="1" ind2=" "><subfield code="8">3\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="883" ind1="1" ind2=" "><subfield code="8">4\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></record></collection>
genre	1\p (DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV022016230
illustrated	Not Illustrated
index_date	2024-07-02T16:12:06Z
indexdate	2024-07-09T20:49:17Z
institution	BVB
isbn	9061963761
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015230864
oclc_num	20849275
open_access_boolean
owner	DE-706
owner_facet	DE-706
physical	110 S.
publishDate	1989
publishDateSearch	1989
publishDateSort	1989
publisher	Centrum voor Wiskunde en Informatica
record_format	marc
series	CWI tract
series2	CWI tract
spelling	Jung, Achim Verfasser aut Cartesian closed categories of domains A. Jung Amsterdam Centrum voor Wiskunde en Informatica 1989 110 S. txt rdacontent n rdamedia nc rdacarrier CWI tract 66 Ensembles ordonnés ram Ordered sets Gerichtete Menge (DE-588)4253346-6 gnd rswk-swf Geordnete Menge (DE-588)4156748-1 gnd rswk-swf Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Abgeschlossene Kategorie (DE-588)4141051-8 gnd rswk-swf Scott-Topologie (DE-588)4735955-9 gnd rswk-swf Ordnungsrelation (DE-588)4172733-2 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Geordnete Menge (DE-588)4156748-1 s DE-604 Scott-Topologie (DE-588)4735955-9 s Gerichtete Menge (DE-588)4253346-6 s Kategorientheorie (DE-588)4120552-2 s 2\p DE-604 Abgeschlossene Kategorie (DE-588)4141051-8 s 3\p DE-604 Ordnungsrelation (DE-588)4172733-2 s 4\p DE-604 CWI tract 66 (DE-604)BV001902011 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Jung, Achim Cartesian closed categories of domains CWI tract Ensembles ordonnés ram Ordered sets Gerichtete Menge (DE-588)4253346-6 gnd Geordnete Menge (DE-588)4156748-1 gnd Kategorientheorie (DE-588)4120552-2 gnd Abgeschlossene Kategorie (DE-588)4141051-8 gnd Scott-Topologie (DE-588)4735955-9 gnd Ordnungsrelation (DE-588)4172733-2 gnd
subject_GND	(DE-588)4253346-6 (DE-588)4156748-1 (DE-588)4120552-2 (DE-588)4141051-8 (DE-588)4735955-9 (DE-588)4172733-2 (DE-588)4113937-9
title	Cartesian closed categories of domains
title_auth	Cartesian closed categories of domains
title_exact_search	Cartesian closed categories of domains
title_exact_search_txtP	Cartesian closed categories of domains
title_full	Cartesian closed categories of domains A. Jung
title_fullStr	Cartesian closed categories of domains A. Jung
title_full_unstemmed	Cartesian closed categories of domains A. Jung
title_short	Cartesian closed categories of domains
title_sort	cartesian closed categories of domains
topic	Ensembles ordonnés ram Ordered sets Gerichtete Menge (DE-588)4253346-6 gnd Geordnete Menge (DE-588)4156748-1 gnd Kategorientheorie (DE-588)4120552-2 gnd Abgeschlossene Kategorie (DE-588)4141051-8 gnd Scott-Topologie (DE-588)4735955-9 gnd Ordnungsrelation (DE-588)4172733-2 gnd
topic_facet	Ensembles ordonnés Ordered sets Gerichtete Menge Geordnete Menge Kategorientheorie Abgeschlossene Kategorie Scott-Topologie Ordnungsrelation Hochschulschrift
volume_link	(DE-604)BV001902011
work_keys_str_mv	AT jungachim cartesianclosedcategoriesofdomains

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge