{"id":"https://openalex.org/W1531388978","doi":"https://doi.org/10.1007/3-540-48118-4_2","title":"A framework for defining Object-Calculi extended abstract","display_name":"A framework for defining Object-Calculi extended abstract","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W1531388978","doi":"https://doi.org/10.1007/3-540-48118-4_2","mag":"1531388978"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-48118-4_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-48118-4_2","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075433817","display_name":"Fr\u00e9d\u00e9ric Lang","orcid":"https://orcid.org/0000-0002-5221-3353"},"institutions":[{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Fr\u00e9d\u00e9ric Lang","raw_affiliation_strings":["\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l\u2019Informatique du Parall\u00e9lisme, 46, All\u00e9e d\u2019Italie, F69364, Lyon Cedex 07, FRANCE","\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l'Informatique du Parall\u00e9lisme, 46, All\u00e9e d'Italie, F69364, Lyon Cedex 07, FRANCE"],"affiliations":[{"raw_affiliation_string":"\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l\u2019Informatique du Parall\u00e9lisme, 46, All\u00e9e d\u2019Italie, F69364, Lyon Cedex 07, FRANCE","institution_ids":["https://openalex.org/I4210144566"]},{"raw_affiliation_string":"\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l'Informatique du Parall\u00e9lisme, 46, All\u00e9e d'Italie, F69364, Lyon Cedex 07, FRANCE","institution_ids":["https://openalex.org/I4210144566"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042417161","display_name":"Pierre Lescanne","orcid":"https://orcid.org/0000-0001-9512-5276"},"institutions":[{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Lescanne","raw_affiliation_strings":["\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l\u2019Informatique du Parall\u00e9lisme, 46, All\u00e9e d\u2019Italie, F69364, Lyon Cedex 07, FRANCE","\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l'Informatique du Parall\u00e9lisme, 46, All\u00e9e d'Italie, F69364, Lyon Cedex 07, FRANCE"],"affiliations":[{"raw_affiliation_string":"\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l\u2019Informatique du Parall\u00e9lisme, 46, All\u00e9e d\u2019Italie, F69364, Lyon Cedex 07, FRANCE","institution_ids":["https://openalex.org/I4210144566"]},{"raw_affiliation_string":"\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l'Informatique du Parall\u00e9lisme, 46, All\u00e9e d'Italie, F69364, Lyon Cedex 07, FRANCE","institution_ids":["https://openalex.org/I4210144566"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080883460","display_name":"Luigi Liquori","orcid":"https://orcid.org/0000-0003-3961-4205"},"institutions":[{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luigi Liquori","raw_affiliation_strings":["\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l\u2019Informatique du Parall\u00e9lisme, 46, All\u00e9e d\u2019Italie, F69364, Lyon Cedex 07, FRANCE","\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l'Informatique du Parall\u00e9lisme, 46, All\u00e9e d'Italie, F69364, Lyon Cedex 07, FRANCE"],"affiliations":[{"raw_affiliation_string":"\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l\u2019Informatique du Parall\u00e9lisme, 46, All\u00e9e d\u2019Italie, F69364, Lyon Cedex 07, FRANCE","institution_ids":["https://openalex.org/I4210144566"]},{"raw_affiliation_string":"\u00f9cole Normale Sup\u00e9rieure de Lyon, Laboratoire de l'Informatique du Parall\u00e9lisme, 46, All\u00e9e d'Italie, F69364, Lyon Cedex 07, FRANCE","institution_ids":["https://openalex.org/I4210144566"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5075433817"],"corresponding_institution_ids":["https://openalex.org/I4210144566"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.1320576,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"963","last_page":"982"},"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.9983999729156494,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9873999953269958,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.789965033531189},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.6846755146980286},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6692166328430176},{"id":"https://openalex.org/keywords/delegation","display_name":"Delegation","score":0.6246833205223083},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.6225776672363281},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5855215191841125},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.5659672021865845},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.5074355006217957},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.492137610912323},{"id":"https://openalex.org/keywords/inheritance","display_name":"Inheritance (genetic algorithm)","score":0.482247918844223},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4564802944660187},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.44481557607650757},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.41653797030448914},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22737017273902893}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.789965033531189},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.6846755146980286},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6692166328430176},{"id":"https://openalex.org/C86532276","wikidata":"https://www.wikidata.org/wiki/Q1184065","display_name":"Delegation","level":2,"score":0.6246833205223083},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.6225776672363281},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5855215191841125},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.5659672021865845},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.5074355006217957},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.492137610912323},{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.482247918844223},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4564802944660187},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.44481557607650757},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.41653797030448914},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22737017273902893},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/3-540-48118-4_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-48118-4_2","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:CiteSeerX.psu:10.1.1.47.1200","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.1200","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1998/RR1998-51.ps.Z","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W4015096","https://openalex.org/W239634878","https://openalex.org/W1510641142","https://openalex.org/W1514258760","https://openalex.org/W1542015372","https://openalex.org/W1544633123","https://openalex.org/W1578914958","https://openalex.org/W1969665008","https://openalex.org/W1980939032","https://openalex.org/W1992452788","https://openalex.org/W2045723688","https://openalex.org/W2063068243","https://openalex.org/W2071267598","https://openalex.org/W2151156765","https://openalex.org/W2151716725","https://openalex.org/W2170466846","https://openalex.org/W2170810021","https://openalex.org/W4236324644","https://openalex.org/W6632656971","https://openalex.org/W6684918128","https://openalex.org/W6844067879"],"related_works":["https://openalex.org/W2043493366","https://openalex.org/W4242014666","https://openalex.org/W2385508105","https://openalex.org/W2073736684","https://openalex.org/W2013028647","https://openalex.org/W2124431509","https://openalex.org/W60938034","https://openalex.org/W2790733222","https://openalex.org/W1498867194","https://openalex.org/W3021477639"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}