What is a categorical model of intuistionistic linear logic?:
Abstract: "This paper re-addresses the old problem of providing a categorical model for Intuitionistic Linear Logic (ILL). In particular we compare the now standard model proposed by Seely to the lesser known one proposed by Benton, Bierman, Hyland and de Paiva. Surprisingly we find that Seely&...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge
1994
|
| Series: | Computer Laboratory <Cambridge>: Technical report
333 |
| Subjects: | |
| Summary: | Abstract: "This paper re-addresses the old problem of providing a categorical model for Intuitionistic Linear Logic (ILL). In particular we compare the now standard model proposed by Seely to the lesser known one proposed by Benton, Bierman, Hyland and de Paiva. Surprisingly we find that Seely's model is unsound in that it does not preserve equality of proofs -- we shall give some examples of equal proofs which do not seem to be modelled as equal morphisms in the category. We shall propose how to adapt Seely's definition so as to correct these problems and consider how this compares with the model due to Benton et al." |
| Physical Description: | 15 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010413353 | ||
| 003 | DE-604 | ||
| 005 | 19951009 | ||
| 007 | t | ||
| 008 | 951009s1994 |||| 00||| engod | ||
| 035 | |a (OCoLC)32079668 | ||
| 035 | |a (DE-599)BVBBV010413353 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Bierman, G. M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a What is a categorical model of intuistionistic linear logic? |
| 264 | 1 | |a Cambridge |c 1994 | |
| 300 | |a 15 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Computer Laboratory <Cambridge>: Technical report |v 333 | |
| 520 | 3 | |a Abstract: "This paper re-addresses the old problem of providing a categorical model for Intuitionistic Linear Logic (ILL). In particular we compare the now standard model proposed by Seely to the lesser known one proposed by Benton, Bierman, Hyland and de Paiva. Surprisingly we find that Seely's model is unsound in that it does not preserve equality of proofs -- we shall give some examples of equal proofs which do not seem to be modelled as equal morphisms in the category. We shall propose how to adapt Seely's definition so as to correct these problems and consider how this compares with the model due to Benton et al." | |
| 650 | 7 | |a Applied statistics, operational research |2 sigle | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 7 | |a Mathematics |2 sigle | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Artificial intelligence | |
| 830 | 0 | |a Computer Laboratory <Cambridge>: Technical report |v 333 |w (DE-604)BV004055605 |9 333 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006935084 | ||
Record in the Search Index
| _version_ | 1804124842223468544 |
|---|---|
| any_adam_object | |
| author | Bierman, G. M. |
| author_facet | Bierman, G. M. |
| author_role | aut |
| author_sort | Bierman, G. M. |
| author_variant | g m b gm gmb |
| building | Verbundindex |
| bvnumber | BV010413353 |
| ctrlnum | (OCoLC)32079668 (DE-599)BVBBV010413353 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01672nam a2200337 cb4500</leader><controlfield tag="001">BV010413353</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951009 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951009s1994 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32079668</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010413353</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">Bierman, G. M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">What is a categorical model of intuistionistic linear logic?</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15 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">Computer Laboratory <Cambridge>: Technical report</subfield><subfield code="v">333</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper re-addresses the old problem of providing a categorical model for Intuitionistic Linear Logic (ILL). In particular we compare the now standard model proposed by Seely to the lesser known one proposed by Benton, Bierman, Hyland and de Paiva. Surprisingly we find that Seely's model is unsound in that it does not preserve equality of proofs -- we shall give some examples of equal proofs which do not seem to be modelled as equal morphisms in the category. We shall propose how to adapt Seely's definition so as to correct these problems and consider how this compares with the model due to Benton et al."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Applied statistics, operational research</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Computer Laboratory <Cambridge>: Technical report</subfield><subfield code="v">333</subfield><subfield code="w">(DE-604)BV004055605</subfield><subfield code="9">333</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006935084</subfield></datafield></record></collection> |
| id | DE-604.BV010413353 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:05Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006935084 |
| oclc_num | 32079668 |
| open_access_boolean | |
| physical | 15 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series | Computer Laboratory <Cambridge>: Technical report |
| series2 | Computer Laboratory <Cambridge>: Technical report |
| spelling | Bierman, G. M. Verfasser aut What is a categorical model of intuistionistic linear logic? Cambridge 1994 15 S. txt rdacontent n rdamedia nc rdacarrier Computer Laboratory <Cambridge>: Technical report 333 Abstract: "This paper re-addresses the old problem of providing a categorical model for Intuitionistic Linear Logic (ILL). In particular we compare the now standard model proposed by Seely to the lesser known one proposed by Benton, Bierman, Hyland and de Paiva. Surprisingly we find that Seely's model is unsound in that it does not preserve equality of proofs -- we shall give some examples of equal proofs which do not seem to be modelled as equal morphisms in the category. We shall propose how to adapt Seely's definition so as to correct these problems and consider how this compares with the model due to Benton et al." Applied statistics, operational research sigle Computer software sigle Mathematics sigle Künstliche Intelligenz Mathematik Artificial intelligence Computer Laboratory <Cambridge>: Technical report 333 (DE-604)BV004055605 333 |
| spellingShingle | Bierman, G. M. What is a categorical model of intuistionistic linear logic? Computer Laboratory <Cambridge>: Technical report Applied statistics, operational research sigle Computer software sigle Mathematics sigle Künstliche Intelligenz Mathematik Artificial intelligence |
| title | What is a categorical model of intuistionistic linear logic? |
| title_auth | What is a categorical model of intuistionistic linear logic? |
| title_exact_search | What is a categorical model of intuistionistic linear logic? |
| title_full | What is a categorical model of intuistionistic linear logic? |
| title_fullStr | What is a categorical model of intuistionistic linear logic? |
| title_full_unstemmed | What is a categorical model of intuistionistic linear logic? |
| title_short | What is a categorical model of intuistionistic linear logic? |
| title_sort | what is a categorical model of intuistionistic linear logic |
| topic | Applied statistics, operational research sigle Computer software sigle Mathematics sigle Künstliche Intelligenz Mathematik Artificial intelligence |
| topic_facet | Applied statistics, operational research Computer software Mathematics Künstliche Intelligenz Mathematik Artificial intelligence |
| volume_link | (DE-604)BV004055605 |
| work_keys_str_mv | AT biermangm whatisacategoricalmodelofintuistionisticlinearlogic |