{"id":"https://openalex.org/W2114391968","doi":"https://doi.org/10.1017/s0960129500000438","title":"Sketches and computation \u2013 I: basic definitions and static evaluation","display_name":"Sketches and computation \u2013 I: basic definitions and static evaluation","publication_year":1994,"publication_date":"1994-06-01","ids":{"openalex":"https://openalex.org/W2114391968","doi":"https://doi.org/10.1017/s0960129500000438","mag":"2114391968"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129500000438","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500000438","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5039984931","display_name":"Dominique Duval","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dominique Duval","raw_affiliation_strings":["Laboratoire d'Arithm\u00e9tique, Calcul formel et Optimisation 123 Avenue Albert Thomas, 87060 LIMOGES cedex (France"],"affiliations":[{"raw_affiliation_string":"Laboratoire d'Arithm\u00e9tique, Calcul formel et Optimisation 123 Avenue Albert Thomas, 87060 LIMOGES cedex (France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046839127","display_name":"Jean-Claude Reynaud","orcid":null},"institutions":[{"id":"https://openalex.org/I4210136308","display_name":"Translational Innovation in Medicine and Complexity","ror":"https://ror.org/03985kf35","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210095849","https://openalex.org/I4210104684","https://openalex.org/I4210136308","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Claude Reynaud","raw_affiliation_strings":["LGI-IMAG-CNRS, B.P.53, 38041 GRENOBLE cedex 9 (France"],"affiliations":[{"raw_affiliation_string":"LGI-IMAG-CNRS, B.P.53, 38041 GRENOBLE cedex 9 (France","institution_ids":["https://openalex.org/I4210136308","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5039984931"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7255,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.91282959,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"4","issue":"2","first_page":"185","last_page":"238"},"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.9994999766349792,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9980000257492065,"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/sketch","display_name":"Sketch","score":0.7997403144836426},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6865963935852051},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6673606634140015},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.6366459131240845},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5442147850990295},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.521058976650238},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.49387460947036743},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4598217308521271},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3837254047393799},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2966126799583435},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2669998109340668},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.13542723655700684}],"concepts":[{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.7997403144836426},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6865963935852051},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6673606634140015},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.6366459131240845},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5442147850990295},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.521058976650238},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.49387460947036743},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4598217308521271},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3837254047393799},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2966126799583435},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2669998109340668},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.13542723655700684},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129500000438","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500000438","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W42149148","https://openalex.org/W155085870","https://openalex.org/W160811697","https://openalex.org/W174479171","https://openalex.org/W198503716","https://openalex.org/W583126019","https://openalex.org/W1518444163","https://openalex.org/W1571191807","https://openalex.org/W2102350230","https://openalex.org/W2120713972","https://openalex.org/W2132750992","https://openalex.org/W2135434676","https://openalex.org/W2138672946","https://openalex.org/W4300128858","https://openalex.org/W4300668781","https://openalex.org/W6606422452"],"related_works":["https://openalex.org/W2378994405","https://openalex.org/W2385974820","https://openalex.org/W2373478030","https://openalex.org/W2378679551","https://openalex.org/W3149739944","https://openalex.org/W2392363776","https://openalex.org/W2063051341","https://openalex.org/W2591066345","https://openalex.org/W1494563618","https://openalex.org/W2357022711"],"abstract_inverted_index":{"We":[0,41,66],"define":[1],"a":[2,75,104],"categorical":[3],"framework,":[4],"based":[5],"on":[6],"the":[7,17,81],"notion":[8],"of":[9,19],"sketch":[10],",":[11,111],"for":[12,78,112],"specification":[13],"and":[14,22,54,59,99],"evaluation":[15,69,110],"in":[16,46,70,80],"senses":[18],"algebraic":[20,23,39],"specifications":[21],"programming.":[24],"This":[25],"framework":[26],"goes":[27],"far":[28],"beyond":[29],"our":[30],"initial":[31,88,118],"motivation,":[32],"which":[33],"was":[34],"to":[35,48],"specify":[36],"computation":[37],"with":[38,51],"numbers.":[40],"begin":[42],"by":[43],"redefining":[44],"sketches":[45,63],"order":[47],"deal":[49],"explicitly":[50],"programs.":[52],"Expressions":[53],"terms":[55],"are":[56,64,91],"carefully":[57],"defined":[58],"studied,":[60],"then":[61],"quasi-projective":[62],"introduced.":[65],"describe":[67],"static":[68],"these":[71],"sketches:":[72],"we":[73,102],"propose":[74],"rigorous":[76],"basis":[77],"evalution":[79],"corresponding":[82],"structures.":[83],"These":[84],"structures":[85,113],"admit":[86],"an":[87],"model,":[89],"but":[90],"not":[92],"necessarily":[93],"equational.":[94],"In":[95],"Part":[96],"II":[97],"(Duval":[98],"Reynaud":[100],"1994),":[101],"study":[103],"more":[105],"general":[106],"process,":[107],"called":[108],"dynamic":[109],"that":[114],"may":[115],"have":[116],"no":[117],"model.":[119]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}