{"id":"https://openalex.org/W2595518539","doi":"https://doi.org/10.1007/978-3-662-54434-1_20","title":"LINCX: A Linear Logical Framework with First-Class Contexts","display_name":"LINCX: A Linear Logical Framework with First-Class Contexts","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2595518539","doi":"https://doi.org/10.1007/978-3-662-54434-1_20","mag":"2595518539"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-54434-1_20","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-54434-1_20","pdf_url":null,"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":null,"license_id":null,"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":"green","oa_url":"https://pure.itu.dk/portal/da/publications/f19cdd54-baac-47f6-9845-2b81dc39b63d","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008428150","display_name":"Aina Linn Georges","orcid":null},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Aina Linn Georges","raw_affiliation_strings":["McGill University, Montreal, QC, Canada"],"affiliations":[{"raw_affiliation_string":"McGill University, Montreal, QC, Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014033496","display_name":"Agata Murawska","orcid":null},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Agata Murawska","raw_affiliation_strings":["IT University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081750843","display_name":"Shawn Otis","orcid":null},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Shawn Otis","raw_affiliation_strings":["McGill University, Montreal, QC, Canada"],"affiliations":[{"raw_affiliation_string":"McGill University, Montreal, QC, Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044908798","display_name":"Brigitte Pientka","orcid":"https://orcid.org/0000-0002-2549-4276"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Brigitte Pientka","raw_affiliation_strings":["McGill University, Montreal, QC, Canada"],"affiliations":[{"raw_affiliation_string":"McGill University, Montreal, QC, Canada","institution_ids":["https://openalex.org/I5023651"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5008428150","https://openalex.org/A5014033496"],"corresponding_institution_ids":["https://openalex.org/I5023651","https://openalex.org/I83467386"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.2825,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.52686097,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"530","last_page":"555"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9987000226974487,"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.7369118928909302},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.6657100915908813},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6432704329490662},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.6035028696060181},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5802491307258606},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5323482155799866},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5296187996864319},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.5147566795349121},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.4617384374141693},{"id":"https://openalex.org/keywords/joins","display_name":"Joins","score":0.44688764214515686},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38127559423446655},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3671993613243103},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27779853343963623},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21414446830749512},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.21149250864982605},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10864385962486267}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7369118928909302},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.6657100915908813},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6432704329490662},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.6035028696060181},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5802491307258606},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5323482155799866},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5296187996864319},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.5147566795349121},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.4617384374141693},{"id":"https://openalex.org/C2778692605","wikidata":"https://www.wikidata.org/wiki/Q4041866","display_name":"Joins","level":2,"score":0.44688764214515686},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38127559423446655},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3671993613243103},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27779853343963623},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21414446830749512},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.21149250864982605},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10864385962486267},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-662-54434-1_20","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-54434-1_20","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire/f19cdd54-baac-47f6-9845-2b81dc39b63d","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/f19cdd54-baac-47f6-9845-2b81dc39b63d","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"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":"Linn Georges, A, Murawska, A, Otis, S & Pientka, B 2017, Lincx: A Linear Logical Framework with First-class Contexts. in 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22\u201329, 2017, Proceedings. Springer, Lecture Notes in Computer Science, vol. 10201, pp. 530-555. https://doi.org/10.1007/978-3-662-54434-1_20","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/f19cdd54-baac-47f6-9845-2b81dc39b63d","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/f19cdd54-baac-47f6-9845-2b81dc39b63d","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"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":"Linn Georges, A, Murawska, A, Otis, S & Pientka, B 2017, Lincx: A Linear Logical Framework with First-class Contexts. in 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22\u201329, 2017, Proceedings. Springer, Lecture Notes in Computer Science, vol. 10201, pp. 530-555. https://doi.org/10.1007/978-3-662-54434-1_20","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W46492264","https://openalex.org/W148278167","https://openalex.org/W169519546","https://openalex.org/W1433844459","https://openalex.org/W1480077844","https://openalex.org/W1498395593","https://openalex.org/W1536129331","https://openalex.org/W1607623316","https://openalex.org/W1678615379","https://openalex.org/W1811793995","https://openalex.org/W1965339888","https://openalex.org/W1974190112","https://openalex.org/W1985435399","https://openalex.org/W1990204174","https://openalex.org/W1990946582","https://openalex.org/W1999336811","https://openalex.org/W2039769798","https://openalex.org/W2062757415","https://openalex.org/W2099521332","https://openalex.org/W2099554648","https://openalex.org/W2102473097","https://openalex.org/W2103222205","https://openalex.org/W2107905351","https://openalex.org/W2140623168","https://openalex.org/W2141287679","https://openalex.org/W2216433683","https://openalex.org/W2295838772","https://openalex.org/W2408622909","https://openalex.org/W2518300910","https://openalex.org/W2566284873","https://openalex.org/W3009547723","https://openalex.org/W3120062901","https://openalex.org/W3140882437","https://openalex.org/W4236538466"],"related_works":["https://openalex.org/W2985557298","https://openalex.org/W1923962694","https://openalex.org/W2951276922","https://openalex.org/W4301711607","https://openalex.org/W1567995736","https://openalex.org/W20138908","https://openalex.org/W3043607029","https://openalex.org/W4287126609","https://openalex.org/W2082415475","https://openalex.org/W3006935326"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}