{"id":"https://openalex.org/W79731428","doi":null,"title":"Structuring general and complete quantum computations in Haskell : the arrows approach","display_name":"Structuring general and complete quantum computations in Haskell : the arrows approach","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W79731428","mag":"79731428"},"language":"en","primary_location":{"id":"pmh:oai:americanae.aecid.es:3191540","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10183/13154","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"reponame:Biblioteca Digital de Teses e Disserta\u00e7\u00f5es da UFRGS","raw_type":"info:eu-repo/semantics/doctoralThesis"},"volume":null,"type":"dissertation","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10183/13154","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006519176","display_name":"Juliana Kaizer Vizzotto","orcid":"https://orcid.org/0000-0003-0638-6074","observed_orcids":["https://orcid.org/0000-0003-0638-6074"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Juliana Kaizer Vizzotto","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-0638-6074","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5006519176"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.864300012588501,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.864300012588501,"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.10719999670982361,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.005100000184029341,"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/quantum-computing","display_name":"quantum computing","score":0.9160000085830688},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.75},{"id":"https://openalex.org/keywords/arrow","display_name":"arrows","score":0.7820000052452087},{"id":"https://openalex.org/keywords/quantum-measurement","display_name":"quantum measurement","score":0.8349999785423279},{"id":"https://openalex.org/keywords/quantum-entanglement","display_name":"quantum entanglement","score":0.9269999861717224},{"id":"https://openalex.org/keywords/quantum-parallelism","display_name":"quantum parallelism","score":0.9399999976158142},{"id":"https://openalex.org/keywords/monads","display_name":"monads","score":0.4749999940395355},{"id":"https://openalex.org/keywords/quantum-programming-languages","display_name":"quantum programming languages","score":0.7070000171661377}],"concepts":[{"id":"https://openalex.org/C2775945657","wikidata":"https://www.wikidata.org/wiki/Q381442","display_name":"Structuring","level":2,"score":0.8333849906921387},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.6427546739578247},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5831528306007385},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5597227811813354},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3749992251396179},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3727388381958008},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3511965870857239},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.34398317337036133},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3238890767097473},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.14351338148117065},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.09776532649993896},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:americanae.aecid.es:3191540","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10183/13154","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"reponame:Biblioteca Digital de Teses e Disserta\u00e7\u00f5es da UFRGS","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:lume.ufrgs.br:10183/13154","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10183/13154","pdf_url":null,"source":{"id":"https://openalex.org/S4306401468","display_name":"Lume (Universidade Federal do Rio Grande do Sul)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210097146","host_organization_name":"Hospital de Cl\u00ednicas de Porto Alegre","host_organization_lineage":["https://openalex.org/I4210097146"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Tese"},{"id":"mag:79731428","doi":null,"is_oa":false,"landing_page_url":"https://www.lume.ufrgs.br/bitstream/handle/10183/13154/000633967.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:americanae.aecid.es:3191540","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10183/13154","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"reponame:Biblioteca Digital de Teses e Disserta\u00e7\u00f5es da UFRGS","raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W19287069","https://openalex.org/W30747476","https://openalex.org/W1485061101","https://openalex.org/W1488750823","https://openalex.org/W1498924426","https://openalex.org/W1525305151","https://openalex.org/W1537615043","https://openalex.org/W1587287586","https://openalex.org/W1631356911","https://openalex.org/W1986407511","https://openalex.org/W1997143185","https://openalex.org/W1997837296","https://openalex.org/W1998538047","https://openalex.org/W1998570038","https://openalex.org/W1999626800","https://openalex.org/W2007542733","https://openalex.org/W2015179126","https://openalex.org/W2028406173","https://openalex.org/W2035993353","https://openalex.org/W2039206667","https://openalex.org/W2052052501","https://openalex.org/W2064138295","https://openalex.org/W2064622659","https://openalex.org/W2084652510","https://openalex.org/W2084883086","https://openalex.org/W2086724512","https://openalex.org/W2099691160","https://openalex.org/W2101416179","https://openalex.org/W2103368228","https://openalex.org/W2110240249","https://openalex.org/W2115048135","https://openalex.org/W2116435685","https://openalex.org/W2120713972","https://openalex.org/W2120926795","https://openalex.org/W2121369607","https://openalex.org/W2122240948","https://openalex.org/W2126160338","https://openalex.org/W2131283815","https://openalex.org/W2132938661","https://openalex.org/W2135830616","https://openalex.org/W2141576692","https://openalex.org/W2145862486","https://openalex.org/W2146078873","https://openalex.org/W2148132004","https://openalex.org/W2154536801","https://openalex.org/W2156876717","https://openalex.org/W2168676717","https://openalex.org/W2179731956","https://openalex.org/W2323777246","https://openalex.org/W2914012520","https://openalex.org/W3007889862","https://openalex.org/W3022805931","https://openalex.org/W3105654567","https://openalex.org/W3105690832"],"related_works":["https://openalex.org/W7119280075","https://openalex.org/W7098037783","https://openalex.org/W7098849762","https://openalex.org/W1998570038","https://openalex.org/W2086724512","https://openalex.org/W6941027739","https://openalex.org/W7095890453","https://openalex.org/W2122240948","https://openalex.org/W2915214407","https://openalex.org/W1498124165"],"abstract_inverted_index":{"Computa\u00e7\u00e3ao":[0],"qu\u00e2ntica":[1,22,57,171,209],"pode":[2,36,60,187,210],"ser":[3,105,188,211,317],"entendida":[4],"como":[5,89,149,256,308],"transforma\u00e7\u00e3o":[6],"da":[7,20,55,81,140,253,271],"informa\u00e7\u00e3o":[8,285],"codificada":[9],"no":[10],"estado":[11],"de":[12,65,71,83,142,146,177,194,218,244,246,336,342,348,371,374],"um":[13,98,260,356],"sistema":[14],"f\u00edsico":[15],"qu\u00e2ntico.":[16],"A":[17,274],"id\u00e9ia":[18,275,327],"b\u00e1sica":[19,276],"computa\u00e7\u00e3o":[21,56],"\u00e9":[23,51,277,304],"codificar":[24],"dados":[25,72],"utilizando":[26,137,333],"bits":[27],"qu\u00e2nticos":[28,73,365],"(qubits).":[29],"Diferentemente":[30],"do":[31,175],"bit":[32],"cl\u00e1ssico,":[33],"o":[34,46,49,118,122,184],"qubit":[35],"existir":[37],"em":[38,135,367],"uma":[39,52,191,214,290,368,372],"superposi\u00e7\u00e3o":[40,82],"dos":[41,67],"seus":[42],"estados":[43],"b\u00e1sicos":[44],"permitindo":[45],"\u201cparalelismo":[47],"qu\u00e2ntico\u201d,":[48],"qual":[50],"caracter\u00edstica":[53],"importante":[54],"visto":[58],"que":[59,97,183,206,278],"aumentar":[61],"consideravelmente":[62],"a":[63,109,115,207,322],"velocidade":[64],"processamento":[66],"algoritmos.":[68],"Entretanto,":[69],"tipos":[70],"s\u00e3o":[74],"bastante":[75],"poderosos":[76],"n\u00e3o":[77],"somente":[78],"por":[79,289,310,320],"causa":[80],"estados.":[84],"Existem":[85],"outras":[86],"propriedades":[87],"\u00edmpares":[88],"medida":[90,170,208],"e":[91,111,121,128,133,144,151,164,169,239,265,297,344],"emaranhamento.":[92],"Nesta":[93],"tese,":[94],"n\u00f3s":[95,204,328],"discutimos":[96],"modelo":[99],"real\u00edstico":[100],"para":[101,359],"computa\u00e7\u00f5es":[102,130],"qu\u00e2nticas":[103,131,237],"deve":[104],"geral":[106],"com":[107,113],"respeito":[108,114],"medidas,":[110],"completo":[112],"comunica\u00e7\u00e3o":[116],"entre":[117],"mundo":[119,123],"qu\u00e2ntico":[120,186],"cl\u00e1ssico.":[124],"N\u00f3s,":[125],"ent\u00e3o,":[126],"explicamos":[127],"estruturamos":[129],"gerais":[132,335],"completas":[134],"Haskell":[136],"constru\u00e7\u00f5es":[138,242],"conhecidas":[139],"\u00e1rea":[141],"sem\u00e2ntica":[143],"linguagens":[145,178,245],"programa\u00e7\u00e3o":[147,247,375],"cl\u00e1ssicas,":[148],"m\u00f4nadas":[150,197,343],"setas.":[152,345],"Em":[153,259],"mais":[154,216,224],"detalhes,":[155],"esta":[156],"tese":[157],"se":[158],"concentra":[159],"nas":[160,340],"seguintes":[161],"contribui\u00e7\u00f5es.":[162],"M\u00f4nadas":[163],"Setas.":[165],"Paralelismo":[166],"qu\u00e2ntico,":[167],"emaranhamento":[168],"certamente":[172],"v\u00e3o":[173],"al\u00e9m":[174],"escopo":[176],"funcionais":[179],"\u201cpuras\u201d.":[180],"N\u00f3s":[181,354],"mostramos":[182,205],"paralelismo":[185],"modelado":[189],"utilizando-se":[190,213],"pequena":[192],"generaliza\u00e7\u00e3o":[193,215],"m\u00f4nadas,":[195,219],"chamada":[196,378],"indexadas":[198],"ou":[199],"estruturas":[200],"Kleisli.":[201],"Al\u00e9m":[202],"disso,":[203],"explicada":[212],"radical":[217],"as":[220,228,251],"assim":[221],"chamadas":[222],"setas,":[223],"especificamente,":[225],"setas":[226],"indexadas,":[227],"quais":[229],"definimos":[230],"nesta":[231,326],"tese.":[232],"Este":[233],"resultado":[234],"conecta":[235],"caracter\u00edsticas":[236,314],"\u201cgen\u00e9ricas\u201d":[238],"\u201ccompletas\u201d":[240],"`a":[241],"sem\u00e2nticas":[243],"bem":[248],"fundamentadas.":[249],"Entendendo":[250],"Interpreta\u00e7\u00f5es":[252],"Mec\u00e2nica":[254],"Qu\u00e2ntica":[255],"Efeitos":[257],"Computacionais.":[258],"experimento":[261],"hipot\u00e9tico,":[262],"Einstein,":[263],"Podolsky":[264],"Rosen":[266],"demonstraram":[267],"algumas":[268],"consequ\u00eancias":[269],"contra-intuitivas":[270],"mec\u00e2nica":[272],"qu\u00e2ntica.":[273],"duas":[279],"part\u00edculas":[280],"parecem":[281],"sempre":[282],"comunicar":[283],"alguma":[284],"mesmo":[286],"estando":[287],"separadas":[288],"dist\u00e2ncia":[291],"arbitrariamente":[292],"grande.":[293],"Existe":[294],"muito":[295],"debate":[296],"muitos":[298],"artigos":[299],"sobre":[300,363],"esse":[301],"t\u00f3pico,":[302],"mas":[303],"interessante":[305],"notar":[306],"que,":[307],"proposto":[309],"Amr":[311],"Sabry,":[312],"essas":[313],"estranhas":[315],"podem":[316],"essencialmente":[318],"modeladas":[319],"atribui\u00e7\u00f5es":[321],"vari\u00e1veis":[323],"globais.":[324],"Baseados":[325],"modelamos":[329],"este":[330],"comportamento":[331],"estranho":[332],"no\u00e7\u00f5es":[334,341],"efeitos":[337],"computacionais":[338],"incorporados":[339],"Provando":[346],"Propriedades":[347],"Programas":[349],"Qu\u00e2nticos":[350],"Utilizando":[351],"Leis":[352],"Alg\u00e9bricas.":[353],"desenvolvemos":[355],"trabalho":[357],"preliminar":[358],"fazer":[360],"provas":[361],"equacionais":[362],"algoritmos":[364],"escritos":[366],"sublinguagem":[369],"pura":[370],"linguagem":[373],"funcional":[376],"qu\u00e2ntica,":[377],"QML.":[379]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-10-12T09:40:04.860316","created_date":"2016-06-24T00:00:00"}