{"id":"https://openalex.org/W2059775725","doi":"https://doi.org/10.1017/s0960129505004895","title":"Classical isomorphisms of types","display_name":"Classical isomorphisms of types","publication_year":2005,"publication_date":"2005-10-01","ids":{"openalex":"https://openalex.org/W2059775725","doi":"https://doi.org/10.1017/s0960129505004895","mag":"2059775725"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129505004895","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129505004895","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":true,"oa_status":"green","oa_url":"https://hal.science/hal-00003761","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089362585","display_name":"Olivier Laurent","orcid":"https://orcid.org/0000-0001-8917-9390"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I4210139011","display_name":"Laboratory Preuves, Programmes et Syst\u00e8mes","ror":"https://ror.org/046p9e825","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I204730241","https://openalex.org/I4210139011","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"OLIVIER LAURENT","raw_affiliation_strings":["Preuves Programmes Syst\u00e8mes, CNRS \u2013 Universit\u00e9 Paris VII, UMR 7126 \u2013 Case 7014, 2, place Jussieu \u2013 75251 Paris Cedex 05 \u2013 FRANCE","Preuves Programmes Syst\u00e8mes, CNRS \u2013 Universit\u00e9 Paris VII, UMR 7126 \u2013 Case 7014, 2 place Jussieu, 75251 Paris Cedex 05, France"],"affiliations":[{"raw_affiliation_string":"Preuves Programmes Syst\u00e8mes, CNRS \u2013 Universit\u00e9 Paris VII, UMR 7126 \u2013 Case 7014, 2, place Jussieu \u2013 75251 Paris Cedex 05 \u2013 FRANCE","institution_ids":["https://openalex.org/I4210139011","https://openalex.org/I204730241","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Preuves Programmes Syst\u00e8mes, CNRS \u2013 Universit\u00e9 Paris VII, UMR 7126 \u2013 Case 7014, 2 place Jussieu, 75251 Paris Cedex 05, France","institution_ids":["https://openalex.org/I4210139011","https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5089362585"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210139011"],"apc_list":null,"apc_paid":null,"fwci":4.5669,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.94491642,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"15","issue":"5","first_page":"969","last_page":"1004"},"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.9998999834060669,"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.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"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.9901000261306763,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.6022516489028931},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.5858019590377808},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.5730422139167786},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5670925378799438},{"id":"https://openalex.org/keywords/game-semantics","display_name":"Game semantics","score":0.563453733921051},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.5327437520027161},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5177087783813477},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.48780182003974915},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.48181572556495667},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.42242830991744995},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3976786732673645},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3951597213745117},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.36511993408203125},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.28786399960517883},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24018791317939758},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.1726723611354828},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.15449219942092896},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.07288378477096558},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.05149960517883301}],"concepts":[{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.6022516489028931},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.5858019590377808},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.5730422139167786},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5670925378799438},{"id":"https://openalex.org/C9672783","wikidata":"https://www.wikidata.org/wiki/Q65122115","display_name":"Game semantics","level":5,"score":0.563453733921051},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5327437520027161},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5177087783813477},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.48780182003974915},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.48181572556495667},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.42242830991744995},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3976786732673645},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3951597213745117},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.36511993408203125},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.28786399960517883},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24018791317939758},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.1726723611354828},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15449219942092896},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.07288378477096558},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.05149960517883301},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s0960129505004895","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129505004895","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.498.3807","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.498.3807","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal.archives-ouvertes.fr/docs/00/02/83/48/PDF/18_0304pp_Laurent.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.604.8223","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.8223","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://perso.ens-lyon.fr/olivier.laurent/classisos.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00003761v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00003761","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"Mathematical Structures in Computer Science, 2005, 15, pp.969-1004. ⟨10.1017/S0960129505004895⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00003761v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00003761","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"Mathematical Structures in Computer Science, 2005, 15, pp.969-1004. ⟨10.1017/S0960129505004895⟩","raw_type":"Journal articles"},"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W186617461","https://openalex.org/W657829122","https://openalex.org/W1482112913","https://openalex.org/W1516611407","https://openalex.org/W1538053944","https://openalex.org/W1545449210","https://openalex.org/W1559383704","https://openalex.org/W1603433922","https://openalex.org/W1819144183","https://openalex.org/W1877442346","https://openalex.org/W1978840985","https://openalex.org/W2011050558","https://openalex.org/W2017944894","https://openalex.org/W2032563292","https://openalex.org/W2033763204","https://openalex.org/W2044747399","https://openalex.org/W2053672707","https://openalex.org/W2068763700","https://openalex.org/W2083789209","https://openalex.org/W2088735483","https://openalex.org/W2094685149","https://openalex.org/W2107067818","https://openalex.org/W2137018233","https://openalex.org/W2145018595","https://openalex.org/W2152013675","https://openalex.org/W2164691248","https://openalex.org/W3043060850","https://openalex.org/W4229498389"],"related_works":["https://openalex.org/W2140640825","https://openalex.org/W2556994983","https://openalex.org/W10948657","https://openalex.org/W2897239477","https://openalex.org/W2530278950","https://openalex.org/W2121836469","https://openalex.org/W4230210714","https://openalex.org/W1986625420","https://openalex.org/W4210529232","https://openalex.org/W2059775725"],"abstract_inverted_index":{"The":[0],"study":[1],"of":[2,4,20,34,46],"isomorphisms":[3,48],"types":[5],"has,":[6],"in":[7,13],"the":[8,51],"main,":[9],"been":[10],"carried":[11],"out":[12],"an":[14],"intuitionistic":[15],"setting.":[16],"We":[17],"extend":[18],"some":[19],"this":[21],"work":[22],"to":[23,43],"classical":[24],"logic":[25,37],"for":[26,49],"both":[27],"call-by-name":[28],"and":[29,38],"call-by-value":[30],"computations":[31],"by":[32],"means":[33],"polarised":[35],"linear":[36],"game":[39],"semantics.":[40],"This":[41],"leads":[42],"equational":[44],"characterisations":[45],"these":[47],"all":[50],"propositional":[52],"connectives.":[53]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}