Axiomatic domain theory in categories of partial maps:
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) sett...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
1996
|
| Schriftenreihe: | Distinguished dissertations in computer science
|
| Links: | https://doi.org/10.1017/CBO9780511526565 |
| Zusammenfassung: | Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example, enriched categorical models of the FPC are defined. Furthermore, FPC is considered as a programming language with a call-by-value operational semantics and a denotational semantics defined on top of a categorical model. To conclude, for an axiomatisation of absolute non-trivial domain-theoretic models of FPC, operational and denotational semantics are related by means of computational soundness and adequacy results. To make the book reasonably self-contained, the author includes an introduction to enriched category theory. |
| Umfang: | 1 Online-Ressource (xiii, 240 Seiten) |
| ISBN: | 9780511526565 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9780511526565 | ||
| 003 | UkCbUP | ||
| 005 | 20151005020620.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 090407s1996||||enk o ||1 0|eng|d | ||
| 020 | |a 9780511526565 | ||
| 100 | 1 | |a Fiore, Marcelo P. | |
| 245 | 1 | 0 | |a Axiomatic domain theory in categories of partial maps |c Marcelo P. Fiore |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1996 | |
| 300 | |a 1 Online-Ressource (xiii, 240 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Distinguished dissertations in computer science | |
| 520 | |a Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example, enriched categorical models of the FPC are defined. Furthermore, FPC is considered as a programming language with a call-by-value operational semantics and a denotational semantics defined on top of a categorical model. To conclude, for an axiomatisation of absolute non-trivial domain-theoretic models of FPC, operational and denotational semantics are related by means of computational soundness and adequacy results. To make the book reasonably self-contained, the author includes an introduction to enriched category theory. | ||
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780521571883 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780521602778 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/CBO9780511526565 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9780511526565 |
|---|---|
| _version_ | 1825574050545532928 |
| adam_text | |
| any_adam_object | |
| author | Fiore, Marcelo P. |
| author_facet | Fiore, Marcelo P. |
| author_role | |
| author_sort | Fiore, Marcelo P. |
| author_variant | m p f mp mpf |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01811nam a2200265 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9780511526565</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20151005020620.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">090407s1996||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511526565</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fiore, Marcelo P.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Axiomatic domain theory in categories of partial maps</subfield><subfield code="c">Marcelo P. Fiore</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiii, 240 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Distinguished dissertations in computer science</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example, enriched categorical models of the FPC are defined. Furthermore, FPC is considered as a programming language with a call-by-value operational semantics and a denotational semantics defined on top of a categorical model. To conclude, for an axiomatisation of absolute non-trivial domain-theoretic models of FPC, operational and denotational semantics are related by means of computational soundness and adequacy results. To make the book reasonably self-contained, the author includes an introduction to enriched category theory.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780521571883</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780521602778</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/CBO9780511526565</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9780511526565 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-03T11:58:04Z |
| institution | BVB |
| isbn | 9780511526565 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xiii, 240 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Distinguished dissertations in computer science |
| spelling | Fiore, Marcelo P. Axiomatic domain theory in categories of partial maps Marcelo P. Fiore Cambridge Cambridge University Press 1996 1 Online-Ressource (xiii, 240 Seiten) txt c cr Distinguished dissertations in computer science Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example, enriched categorical models of the FPC are defined. Furthermore, FPC is considered as a programming language with a call-by-value operational semantics and a denotational semantics defined on top of a categorical model. To conclude, for an axiomatisation of absolute non-trivial domain-theoretic models of FPC, operational and denotational semantics are related by means of computational soundness and adequacy results. To make the book reasonably self-contained, the author includes an introduction to enriched category theory. Erscheint auch als Druck-Ausgabe 9780521571883 Erscheint auch als Druck-Ausgabe 9780521602778 |
| spellingShingle | Fiore, Marcelo P. Axiomatic domain theory in categories of partial maps |
| title | Axiomatic domain theory in categories of partial maps |
| title_auth | Axiomatic domain theory in categories of partial maps |
| title_exact_search | Axiomatic domain theory in categories of partial maps |
| title_full | Axiomatic domain theory in categories of partial maps Marcelo P. Fiore |
| title_fullStr | Axiomatic domain theory in categories of partial maps Marcelo P. Fiore |
| title_full_unstemmed | Axiomatic domain theory in categories of partial maps Marcelo P. Fiore |
| title_short | Axiomatic domain theory in categories of partial maps |
| title_sort | axiomatic domain theory in categories of partial maps |
| work_keys_str_mv | AT fioremarcelop axiomaticdomaintheoryincategoriesofpartialmaps |