{"id":"https://openalex.org/W4366548744","doi":"https://doi.org/10.1007/978-3-031-30829-1_5","title":"A Higher-Order Language for Markov Kernels and Linear Operators","display_name":"A Higher-Order Language for Markov Kernels and Linear Operators","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4366548744","doi":"https://doi.org/10.1007/978-3-031-30829-1_5"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-30829-1_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30829-1_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_5.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091040232","display_name":"Pedro H. Azevedo de Amorim","orcid":"https://orcid.org/0000-0002-8338-8973"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Pedro H. Azevedo de Amorim","raw_affiliation_strings":["Cornell University, Ithaca, NY, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5091040232"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.5209,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6164135,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"89","last_page":"112"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9987999796867371,"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/T10126","display_name":"Logic, programming, and type systems","score":0.996999979019165,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7214531302452087},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6421147584915161},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.6152447462081909},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5813121199607849},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5683783888816833},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5630058646202087},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.46595439314842224},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.46440792083740234},{"id":"https://openalex.org/keywords/computational-semantics","display_name":"Computational semantics","score":0.4308455288410187},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42966726422309875},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2833706736564636}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7214531302452087},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6421147584915161},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.6152447462081909},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5813121199607849},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5683783888816833},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5630058646202087},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.46595439314842224},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.46440792083740234},{"id":"https://openalex.org/C200065993","wikidata":"https://www.wikidata.org/wiki/Q3954981","display_name":"Computational semantics","level":4,"score":0.4308455288410187},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42966726422309875},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2833706736564636}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-30829-1_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30829-1_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-30829-1_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30829-1_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4823358995","display_name":"SHF: Small: Semantics of Higher Order Probabilistic Programs","funder_award_id":"2008083","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7871620922","display_name":null,"funder_award_id":"CCF-2008083","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4366548744.pdf"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W72346910","https://openalex.org/W1532374486","https://openalex.org/W1995338553","https://openalex.org/W2102548545","https://openalex.org/W2116813111","https://openalex.org/W2170528665","https://openalex.org/W2493333586","https://openalex.org/W2767778696","https://openalex.org/W2767781532","https://openalex.org/W2770908033","https://openalex.org/W2949151551","https://openalex.org/W2965219905","https://openalex.org/W2965405805","https://openalex.org/W2969875089","https://openalex.org/W2979551317","https://openalex.org/W2994797498","https://openalex.org/W3124655276","https://openalex.org/W4234337443"],"related_works":["https://openalex.org/W91938043","https://openalex.org/W1975908952","https://openalex.org/W1493950382","https://openalex.org/W144630327","https://openalex.org/W1487472891","https://openalex.org/W2070801544","https://openalex.org/W4233868614","https://openalex.org/W2348616540","https://openalex.org/W2072493788","https://openalex.org/W2051913344"],"abstract_inverted_index":{"Abstract":[0],"Much":[1],"work":[2,86],"has":[3],"been":[4],"done":[5],"to":[6,9,21,104],"give":[7],"semantics":[8,19,30,36,44,99],"probabilistic":[10,24,52],"programming":[11],"languages.":[12],"In":[13,84],"recent":[14],"years,":[15],"most":[16],"of":[17,43,82,109,115,126,135,139],"the":[18,112,130],"used":[20],"reason":[22],"about":[23,51],"programs":[25],"fall":[26],"in":[27,49],"two":[28],"categories:":[29],"based":[31,37],"on":[32,38],"Markov":[33],"kernels":[34],"and":[35,60,96],"linear":[39,127],"operators.":[40],"Both":[41],"styles":[42,81],"have":[45,57],"found":[46],"numerous":[47],"applications":[48],"reasoning":[50],"programs,":[53],"but":[54],"they":[55],"each":[56],"their":[58],"strengths":[59],"weaknesses.":[61],"Though":[62],"it":[63,102],"is":[64,68,136],"believed":[65],"that":[66,77],"there":[67,73],"a":[69,93],"connection":[70],"between":[71],"them":[72],"are":[74],"no":[75],"languages":[76],"can":[78],"handle":[79],"both":[80,107],"programming.":[83],"this":[85,119],"we":[87,117],"address":[88],"these":[89],"questions":[90],"by":[91],"defining":[92],"two-level":[94],"calculus":[95],"its":[97],"categorical":[98],"which":[100],"makes":[101],"possible":[103],"program":[105],"with":[106],"kinds":[108],"semantics.":[110],"From":[111],"logical":[113],"side":[114],"things":[116],"see":[118],"language":[120],"as":[121],"an":[122],"alternative":[123],"resource":[124,131],"interpretation":[125],"logic,":[128],"where":[129],"being":[132],"kept":[133],"track":[134],"sampling":[137],"instead":[138],"variable":[140],"use.":[141]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}