{"id":"https://openalex.org/W86894014","doi":"https://doi.org/10.1007/978-3-540-72734-7_2","title":"The Intensional Lambda Calculus","display_name":"The Intensional Lambda Calculus","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W86894014","doi":"https://doi.org/10.1007/978-3-540-72734-7_2","mag":"86894014"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-72734-7_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72734-7_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/A5075172069","display_name":"Sergei Art\u00ebmov","orcid":"https://orcid.org/0000-0002-5605-6172"},"institutions":[{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sergei Artemov","raw_affiliation_strings":["Graduate Center CUNY, PhD Program in Computer Science, 365 Fifth Ave., New York, NY 10016, U.S.A","Graduate Center CUNY, PhD Program in Computer Science, 365 Fifth Ave., New York, NY 10016, U.S.A.#TAB#"],"affiliations":[{"raw_affiliation_string":"Graduate Center CUNY, PhD Program in Computer Science, 365 Fifth Ave., New York, NY 10016, U.S.A","institution_ids":[]},{"raw_affiliation_string":"Graduate Center CUNY, PhD Program in Computer Science, 365 Fifth Ave., New York, NY 10016, U.S.A.#TAB#","institution_ids":["https://openalex.org/I121847817"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112080959","display_name":"Eduardo Bonelli","orcid":"https://orcid.org/0000-0003-1856-2856"},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"funder","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Eduardo Bonelli","raw_affiliation_strings":["LIFIA, Fac. de Inform\u00e1tica, UNLP, Argentina and CONICET,"],"affiliations":[{"raw_affiliation_string":"LIFIA, Fac. de Inform\u00e1tica, UNLP, Argentina and CONICET,","institution_ids":["https://openalex.org/I151201029"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5075172069"],"corresponding_institution_ids":["https://openalex.org/I121847817"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.142,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.78749901,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"12","last_page":"25"},"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.9994000196456909,"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.9994000196456909,"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.9983000159263611,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9854999780654907,"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/natural-deduction","display_name":"Natural deduction","score":0.7721196413040161},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.676390528678894},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.666364312171936},{"id":"https://openalex.org/keywords/curry\u2013howard-correspondence","display_name":"Curry\u2013Howard correspondence","score":0.6563988924026489},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6027963757514954},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5924174785614014},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.5336528420448303},{"id":"https://openalex.org/keywords/church-encoding","display_name":"Church encoding","score":0.5021693706512451},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.4688238799571991},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.45423761010169983},{"id":"https://openalex.org/keywords/typed-lambda-calculus","display_name":"Typed lambda calculus","score":0.4455670118331909},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39697209000587463},{"id":"https://openalex.org/keywords/simply-typed-lambda-calculus","display_name":"Simply typed lambda calculus","score":0.3832366168498993},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3776973485946655},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.35811781883239746},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.3305317759513855},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3230390250682831},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3142701983451843},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.14703664183616638}],"concepts":[{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.7721196413040161},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.676390528678894},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.666364312171936},{"id":"https://openalex.org/C85343465","wikidata":"https://www.wikidata.org/wiki/Q975734","display_name":"Curry\u2013Howard correspondence","level":3,"score":0.6563988924026489},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6027963757514954},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5924174785614014},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.5336528420448303},{"id":"https://openalex.org/C77736955","wikidata":"https://www.wikidata.org/wiki/Q1089708","display_name":"Church encoding","level":5,"score":0.5021693706512451},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.4688238799571991},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.45423761010169983},{"id":"https://openalex.org/C142156749","wikidata":"https://www.wikidata.org/wiki/Q2607208","display_name":"Typed lambda calculus","level":3,"score":0.4455670118331909},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39697209000587463},{"id":"https://openalex.org/C61237538","wikidata":"https://www.wikidata.org/wiki/Q855192","display_name":"Simply typed lambda calculus","level":4,"score":0.3832366168498993},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3776973485946655},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.35811781883239746},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.3305317759513855},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3230390250682831},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3142701983451843},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.14703664183616638},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-540-72734-7_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72734-7_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.493.153","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.493.153","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lifia.info.unlp.edu.ar/~eduardo/publications/lfcs07.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.501.6360","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.501.6360","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lifia.info.unlp.edu.ar/~eduardo/lamIFull.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6700000166893005,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W20773390","https://openalex.org/W86894014","https://openalex.org/W159715351","https://openalex.org/W215914879","https://openalex.org/W1480487311","https://openalex.org/W1733731286","https://openalex.org/W1988824860","https://openalex.org/W2029408547","https://openalex.org/W2037524393","https://openalex.org/W2044758536","https://openalex.org/W2064236106","https://openalex.org/W2082484253","https://openalex.org/W2086727636","https://openalex.org/W2099089064","https://openalex.org/W2126018011","https://openalex.org/W2158542561","https://openalex.org/W2476624985","https://openalex.org/W4230678059","https://openalex.org/W4231151398","https://openalex.org/W4285719527","https://openalex.org/W4388299483"],"related_works":["https://openalex.org/W2761902706","https://openalex.org/W2153353244","https://openalex.org/W3123171335","https://openalex.org/W1583714326","https://openalex.org/W2114701904","https://openalex.org/W2146437601","https://openalex.org/W2189323991","https://openalex.org/W4205386752","https://openalex.org/W3146610348","https://openalex.org/W1585482631"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":6},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}