{"id":"https://openalex.org/W103809722","doi":null,"title":"Logic Programming with Linear Logic","display_name":"Logic Programming with Linear Logic","publication_year":null,"publication_date":null,"ids":{"openalex":"https://openalex.org/W103809722","mag":"103809722"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.43.4958","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.4958","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.mu.oz.au/~winikoff/Papers/phd.ps.gz","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008378418","display_name":"Michael Winikoff","orcid":"https://orcid.org/0000-0002-5545-7003","observed_orcids":["https://orcid.org/0000-0002-5545-7003"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Michael David Winikoff","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5008378418"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.986299991607666,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.986299991607666,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.009100000374019146,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.9549999833106995},{"id":"https://openalex.org/keywords/linear-logic","display_name":"linear logic","score":0.9990000128746033},{"id":"https://openalex.org/keywords/declarative-programming-languages","display_name":"declarative programming languages","score":0.9049999713897705},{"id":"https://openalex.org/keywords/programming-language-design","display_name":"programming language design","score":0.7919999957084656},{"id":"https://openalex.org/keywords/levels-of-abstraction","display_name":"levels of abstraction","score":0.5929999947547913},{"id":"https://openalex.org/keywords/execution-efficiency","display_name":"execution efficiency","score":0.6959999799728394},{"id":"https://openalex.org/keywords/high-level-programming-languages","display_name":"high-level programming languages","score":0.5659999847412109},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.925000011920929}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8277933597564697},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.7785049676895142},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7626324892044067},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.676924467086792},{"id":"https://openalex.org/C206146517","wikidata":"https://www.wikidata.org/wiki/Q1294375","display_name":"Third-generation programming language","level":5,"score":0.6706864237785339},{"id":"https://openalex.org/C11164408","wikidata":"https://www.wikidata.org/wiki/Q18657800","display_name":"Second-generation programming language","level":4,"score":0.6472041606903076},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.645781397819519},{"id":"https://openalex.org/C74149592","wikidata":"https://www.wikidata.org/wiki/Q762446","display_name":"Comparison of multi-paradigm programming languages","level":5,"score":0.6125276684761047},{"id":"https://openalex.org/C61673122","wikidata":"https://www.wikidata.org/wiki/Q7095059","display_name":"Ontology language","level":3,"score":0.49501699209213257},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.46900057792663574},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.45039433240890503},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4259015917778015},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3783133029937744},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3202912211418152},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1713857352733612},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.43.4958","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.4958","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.mu.oz.au/~winikoff/Papers/phd.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.73.676","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.676","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://goanna.cs.rmit.edu.au/~winikoff/Papers/phd.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":112,"referenced_works":["https://openalex.org/W42284263","https://openalex.org/W54546151","https://openalex.org/W64384102","https://openalex.org/W65628239","https://openalex.org/W69115018","https://openalex.org/W70819755","https://openalex.org/W80167165","https://openalex.org/W81066175","https://openalex.org/W92107885","https://openalex.org/W120182277","https://openalex.org/W143834529","https://openalex.org/W147093031","https://openalex.org/W147667397","https://openalex.org/W156164156","https://openalex.org/W185615578","https://openalex.org/W205009406","https://openalex.org/W260586526","https://openalex.org/W277882725","https://openalex.org/W424940237","https://openalex.org/W1483568252","https://openalex.org/W1486653873","https://openalex.org/W1492862327","https://openalex.org/W1497344495","https://openalex.org/W1499916519","https://openalex.org/W1502726770","https://openalex.org/W1503354566","https://openalex.org/W1509110748","https://openalex.org/W1510393623","https://openalex.org/W1514468887","https://openalex.org/W1529787579","https://openalex.org/W1530324887","https://openalex.org/W1530993544","https://openalex.org/W1539986213","https://openalex.org/W1542681774","https://openalex.org/W1554699440","https://openalex.org/W1555216982","https://openalex.org/W1558611007","https://openalex.org/W1575454925","https://openalex.org/W1584489400","https://openalex.org/W1588129281","https://openalex.org/W1589420625","https://openalex.org/W1593404182","https://openalex.org/W1595163798","https://openalex.org/W1601846431","https://openalex.org/W1606971543","https://openalex.org/W1608088675","https://openalex.org/W1774161965","https://openalex.org/W1841693651","https://openalex.org/W1873788119","https://openalex.org/W1916030352","https://openalex.org/W1944009913","https://openalex.org/W1949155165","https://openalex.org/W1949860513","https://openalex.org/W1965498649","https://openalex.org/W1966447039","https://openalex.org/W1966944960","https://openalex.org/W1968027005","https://openalex.org/W1970743187","https://openalex.org/W1972106757","https://openalex.org/W1973858412","https://openalex.org/W1977666422","https://openalex.org/W1984204190","https://openalex.org/W1989713129","https://openalex.org/W1990087893","https://openalex.org/W1992868830","https://openalex.org/W1993503482","https://openalex.org/W2009944560","https://openalex.org/W2012968289","https://openalex.org/W2017526099","https://openalex.org/W2028613837","https://openalex.org/W2030720224","https://openalex.org/W2032729524","https://openalex.org/W2033685783","https://openalex.org/W2035891539","https://openalex.org/W2036900631","https://openalex.org/W2042666429","https://openalex.org/W2052436826","https://openalex.org/W2053384008","https://openalex.org/W2054978726","https://openalex.org/W2059558261","https://openalex.org/W2070324762","https://openalex.org/W2085305950","https://openalex.org/W2089241138","https://openalex.org/W2092056636","https://openalex.org/W2093111544","https://openalex.org/W2094047447","https://openalex.org/W2105232714","https://openalex.org/W2106458801","https://openalex.org/W2122866233","https://openalex.org/W2122875791","https://openalex.org/W2123396057","https://openalex.org/W2126104503","https://openalex.org/W2131739376","https://openalex.org/W2132682692","https://openalex.org/W2135319067","https://openalex.org/W2145368774","https://openalex.org/W2152493519","https://openalex.org/W2154218921","https://openalex.org/W2155397441","https://openalex.org/W2156950788","https://openalex.org/W2164449382","https://openalex.org/W2166030873","https://openalex.org/W2166378226","https://openalex.org/W2295914203","https://openalex.org/W2311572588","https://openalex.org/W2403693152","https://openalex.org/W2587397957","https://openalex.org/W2911865844","https://openalex.org/W2912053830","https://openalex.org/W3135320517","https://openalex.org/W3157182943","https://openalex.org/W4323966281"],"related_works":["https://openalex.org/W7101026625","https://openalex.org/W7099641318","https://openalex.org/W3027967577","https://openalex.org/W344394519","https://openalex.org/W1677966052","https://openalex.org/W7099717422","https://openalex.org/W1481817983","https://openalex.org/W1528150089","https://openalex.org/W2981300381","https://openalex.org/W2312081215"],"abstract_inverted_index":{"Programming":[0],"languages":[1,38,64,81,109,119,134],"are":[2,65,82,140],"the":[3,23,40,44,87,90,104],"basic":[4],"tools":[5,148],"of":[6,11,42,72,89,96,107,117],"computer":[7],"science.":[8],"The":[9],"design":[10],"a":[12,17,70],"good":[13],"programming":[14,108,118,130,133],"language":[15],"is":[16,29,69,75,102,110,128],"trade-off":[18,28],"between":[19,30],"many":[20],"factors.":[21],"Perhaps":[22],"most":[24],"important":[25],"and":[26,33,139,145],"difficult":[27],"execution":[31],"efficiency":[32],"programmer":[34,45],"efficiency.":[35],"Higher":[36],"level":[37,59,63,80,92,106],"reduce":[39],"amount":[41],"work":[43],"has":[46,121],"to":[47,52,86,142,146],"do;":[48],"however":[49],"they":[50],"have,":[51],"date,":[53],"been":[54,122],"less":[55],"efficient":[56,68],"than":[57,150],"lower":[58,62,91],"languages.":[60,93,131],"That":[61],"necessarily":[66],"more":[67],"piece":[71],"folklore":[73],"which":[74,120],"under":[76],"attack":[77],"--":[78],"higher":[79],"constantly":[83,98],"coming":[84],"closer":[85],"performance":[88,100],"A":[94,115],"consequence":[95],"this":[97],"closing":[99],"gap":[101],"that":[103],"abstraction":[105],"slowly":[111],"but":[112],"inevitably":[113],"rising.":[114],"class":[116],"described":[123],"as":[124],"\"very":[125],"high":[126],"level\"":[127],"declarative":[129],"Declarative":[132],"have":[135],"simple":[136],"formal":[137],"semantics":[138],"easier":[141],"reason":[143],"about":[144],"construct":[147],"for":[149],"m...":[151]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2025-10-27T00:00:00"}