Investigations of type theory in programming logics and intelligent systems:
Type theory has become central to computer science because it deals with fundamental issues in programming languages, in programming methodology and specification languages, in automatic theorem proving and programming logic, in natural language semantics and in the foundations of intelligent system...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Ithaca, New York
1985
|
| Schriftenreihe: | Cornell University <Ithaca, NY> / Department of Computer Science: Technical report
701 |
| Schlagworte: | |
| Zusammenfassung: | Type theory has become central to computer science because it deals with fundamental issues in programming languages, in programming methodology and specification languages, in automatic theorem proving and programming logic, in natural language semantics and in the foundations of intelligent systems. At Cornell we have been studying a logical theory of types which has influenced the design of programming languages and has become the basis of an implemented program development system. This theory answers many basic questions about data types Here we discuss three general questions about this theory: how logical types relate to domains, how they relate to sets, how they organize programming logics and the intelligent systems built around them. These issues are each of independent value, but they also arise naturally as part of a program to provide a computationally meaningful foundation to computing theory |
| Beschreibung: | 18 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010589612 | ||
| 003 | DE-604 | ||
| 005 | 20200630 | ||
| 007 | t | ||
| 008 | 960130s1985 |||| 00||| engod | ||
| 035 | |a (OCoLC)14557301 | ||
| 035 | |a (DE-599)BVBBV010589612 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Constable, Robert Lee |d 1952- |e Verfasser |0 (DE-588)1089583133 |4 aut | |
| 245 | 1 | 0 | |a Investigations of type theory in programming logics and intelligent systems |
| 264 | 1 | |a Ithaca, New York |c 1985 | |
| 300 | |a 18 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cornell University <Ithaca, NY> / Department of Computer Science: Technical report |v 701 | |
| 520 | 3 | |a Type theory has become central to computer science because it deals with fundamental issues in programming languages, in programming methodology and specification languages, in automatic theorem proving and programming logic, in natural language semantics and in the foundations of intelligent systems. At Cornell we have been studying a logical theory of types which has influenced the design of programming languages and has become the basis of an implemented program development system. This theory answers many basic questions about data types | |
| 520 | 3 | |a Here we discuss three general questions about this theory: how logical types relate to domains, how they relate to sets, how they organize programming logics and the intelligent systems built around them. These issues are each of independent value, but they also arise naturally as part of a program to provide a computationally meaningful foundation to computing theory | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer programming | |
| 810 | 2 | |a Department of Computer Science: Technical report |t Cornell University <Ithaca, NY> |v 701 |w (DE-604)BV006185504 |9 701 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007061503 | ||
Datensatz im Suchindex
| _version_ | 1804125060397531136 |
|---|---|
| any_adam_object | |
| author | Constable, Robert Lee 1952- |
| author_GND | (DE-588)1089583133 |
| author_facet | Constable, Robert Lee 1952- |
| author_role | aut |
| author_sort | Constable, Robert Lee 1952- |
| author_variant | r l c rl rlc |
| building | Verbundindex |
| bvnumber | BV010589612 |
| ctrlnum | (OCoLC)14557301 (DE-599)BVBBV010589612 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01994nam a2200325 cb4500</leader><controlfield tag="001">BV010589612</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200630 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960130s1985 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)14557301</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010589612</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Constable, Robert Lee</subfield><subfield code="d">1952-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1089583133</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Investigations of type theory in programming logics and intelligent systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Ithaca, New York</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">18 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">Cornell University <Ithaca, NY> / Department of Computer Science: Technical report</subfield><subfield code="v">701</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Type theory has become central to computer science because it deals with fundamental issues in programming languages, in programming methodology and specification languages, in automatic theorem proving and programming logic, in natural language semantics and in the foundations of intelligent systems. At Cornell we have been studying a logical theory of types which has influenced the design of programming languages and has become the basis of an implemented program development system. This theory answers many basic questions about data types</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Here we discuss three general questions about this theory: how logical types relate to domains, how they relate to sets, how they organize programming logics and the intelligent systems built around them. These issues are each of independent value, but they also arise naturally as part of a program to provide a computationally meaningful foundation to computing theory</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">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Technical report</subfield><subfield code="t">Cornell University <Ithaca, NY></subfield><subfield code="v">701</subfield><subfield code="w">(DE-604)BV006185504</subfield><subfield code="9">701</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007061503</subfield></datafield></record></collection> |
| id | DE-604.BV010589612 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:55:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007061503 |
| oclc_num | 14557301 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 18 S. |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| record_format | marc |
| series2 | Cornell University <Ithaca, NY> / Department of Computer Science: Technical report |
| spelling | Constable, Robert Lee 1952- Verfasser (DE-588)1089583133 aut Investigations of type theory in programming logics and intelligent systems Ithaca, New York 1985 18 S. txt rdacontent n rdamedia nc rdacarrier Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 701 Type theory has become central to computer science because it deals with fundamental issues in programming languages, in programming methodology and specification languages, in automatic theorem proving and programming logic, in natural language semantics and in the foundations of intelligent systems. At Cornell we have been studying a logical theory of types which has influenced the design of programming languages and has become the basis of an implemented program development system. This theory answers many basic questions about data types Here we discuss three general questions about this theory: how logical types relate to domains, how they relate to sets, how they organize programming logics and the intelligent systems built around them. These issues are each of independent value, but they also arise naturally as part of a program to provide a computationally meaningful foundation to computing theory Künstliche Intelligenz Artificial intelligence Computer programming Department of Computer Science: Technical report Cornell University <Ithaca, NY> 701 (DE-604)BV006185504 701 |
| spellingShingle | Constable, Robert Lee 1952- Investigations of type theory in programming logics and intelligent systems Künstliche Intelligenz Artificial intelligence Computer programming |
| title | Investigations of type theory in programming logics and intelligent systems |
| title_auth | Investigations of type theory in programming logics and intelligent systems |
| title_exact_search | Investigations of type theory in programming logics and intelligent systems |
| title_full | Investigations of type theory in programming logics and intelligent systems |
| title_fullStr | Investigations of type theory in programming logics and intelligent systems |
| title_full_unstemmed | Investigations of type theory in programming logics and intelligent systems |
| title_short | Investigations of type theory in programming logics and intelligent systems |
| title_sort | investigations of type theory in programming logics and intelligent systems |
| topic | Künstliche Intelligenz Artificial intelligence Computer programming |
| topic_facet | Künstliche Intelligenz Artificial intelligence Computer programming |
| volume_link | (DE-604)BV006185504 |
| work_keys_str_mv | AT constablerobertlee investigationsoftypetheoryinprogramminglogicsandintelligentsystems |