{"id":"https://openalex.org/W2481387687","doi":"https://doi.org/10.1007/b98246","title":"Wellfounded Trees and Dependent Polynomial Functors","display_name":"Wellfounded Trees and Dependent Polynomial Functors","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2481387687","doi":"https://doi.org/10.1007/b98246","mag":"2481387687"},"language":"en","primary_location":{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/a68d8fff-0320-4dab-b29f-a60873e4d9eb","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/a68d8fff-0320-4dab-b29f-a60873e4d9eb","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Gambino, N & Hyland, M 2004, Wellfounded trees and dependent polynomial functors. in Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.. Springer Berlin, pp. 210-225. https://doi.org/10.1007/b98246","raw_type":"info:eu-repo/semantics/bookPart"},"type":"conference-paper","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/A5049476335","display_name":"Nicola Gambino","orcid":"https://orcid.org/0000-0002-4257-3590"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nicola Gambino","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5044396973","display_name":"Martin Hyland","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Hyland","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1994,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.93154762,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.4083999991416931,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.4083999991416931,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.351500004529953,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10899","display_name":"Advanced Operator Algebra Research","score":0.09380000084638596,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cartesian-closed-category","display_name":"Cartesian closed category","score":0.7777327299118042},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.774275541305542},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.7330724596977234},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6059030890464783},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5845136642456055},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5839827060699463},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5009157657623291},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46155357360839844},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.44427844882011414},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.40613678097724915},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40294402837753296},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33587226271629333},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.29072338342666626},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.18056833744049072},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1504470407962799},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1389302909374237}],"concepts":[{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.7777327299118042},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.774275541305542},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.7330724596977234},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6059030890464783},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5845136642456055},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5839827060699463},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5009157657623291},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46155357360839844},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.44427844882011414},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.40613678097724915},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40294402837753296},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33587226271629333},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.29072338342666626},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.18056833744049072},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1504470407962799},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1389302909374237},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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":5,"locations":[{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/a68d8fff-0320-4dab-b29f-a60873e4d9eb","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/a68d8fff-0320-4dab-b29f-a60873e4d9eb","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Gambino, N & Hyland, M 2004, Wellfounded trees and dependent polynomial functors. in Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.. Springer Berlin, pp. 210-225. https://doi.org/10.1007/b98246","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:eprints.whiterose.ac.uk:113158","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Proceedings Paper"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.98.4534","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.4534","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.le.ac.uk/people/ngambino/Publications/gambino-hyland.pdf","raw_type":"text"},{"id":"pmh:oai:lra.le.ac.uk:2381/3445","is_oa":false,"landing_page_url":"http://hdl.handle.net/2381/3445","pdf_url":null,"source":{"id":"https://openalex.org/S4306402365","display_name":"Leicester Research Archive (University of Leicester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153648349","host_organization_name":"University of Leicester","host_organization_lineage":["https://openalex.org/I153648349"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"},{"id":"pmh:oai:pure.atira.dk:publications/a68d8fff-0320-4dab-b29f-a60873e4d9eb","is_oa":false,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/wellfounded-trees-and-dependent-polynomial-functors(a68d8fff-0320-4dab-b29f-a60873e4d9eb).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gambino, N & Hyland, M 2004, Wellfounded trees and dependent polynomial functors. in Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.. Springer Berlin, pp. 210-225. https://doi.org/10.1007/b98246","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1983905931","https://openalex.org/W2079640625","https://openalex.org/W569543113","https://openalex.org/W2615580850","https://openalex.org/W2296612922","https://openalex.org/W2129064963","https://openalex.org/W2078334802","https://openalex.org/W2022837260","https://openalex.org/W1828583149","https://openalex.org/W1677393765","https://openalex.org/W1539120745","https://openalex.org/W2151520617","https://openalex.org/W2120713972","https://openalex.org/W1575675278","https://openalex.org/W2133629640","https://openalex.org/W2006905582","https://openalex.org/W1858353210","https://openalex.org/W1594900487","https://openalex.org/W1520893111","https://openalex.org/W1488356979"],"abstract_inverted_index":{"We":[0,19],"set":[1],"out":[2],"to":[3,42],"study":[4],"the":[5,8,24],"consequences":[6],"of":[7,10,12,27,50],"assumption":[9],"types":[11],"wellfounded":[13,28,38],"trees":[14,39],"in":[15,31],"dependent":[16],"type":[17],"theories.":[18],"do":[20],"so":[21],"by":[22],"investigating":[23],"categorical":[25],"notion":[26],"tree":[29],"introduced":[30],"[16].":[32],"Our":[33],"main":[34],"result":[35],"shows":[36],"that":[37],"allow":[40],"us":[41],"define":[43],"initial":[44],"algebras":[45],"for":[46],"a":[47],"wide":[48],"class":[49],"endofunctors":[51],"on":[52],"locally":[53],"cartesian":[54],"closed":[55],"categories.":[56]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2022-10-02T00:00:00"}