{"id":"https://openalex.org/W1547556496","doi":"https://doi.org/10.1023/a:1008398024039","title":"Basic Simple Type Theory, J. Roger Hindley","display_name":"Basic Simple Type Theory, J. Roger Hindley","publication_year":1999,"publication_date":"1999-10-01","ids":{"openalex":"https://openalex.org/W1547556496","doi":"https://doi.org/10.1023/a:1008398024039","mag":"1547556496"},"language":"en","primary_location":{"id":"doi:10.1023/a:1008398024039","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008398024039","pdf_url":null,"source":{"id":"https://openalex.org/S197419112","display_name":"Journal of Logic Language and Information","issn_l":"0925-8531","issn":["0925-8531","1572-9583"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic, Language and Information","raw_type":"journal-article"},"type":"article","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/A5013340138","display_name":"Hans-Joerg Tiede","orcid":null},"institutions":[{"id":"https://openalex.org/I4210119109","display_name":"Indiana University Bloomington","ror":"https://ror.org/02k40bc56","country_code":"US","type":"education","lineage":["https://openalex.org/I4210119109","https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Hans-Joerg Tiede","raw_affiliation_strings":["Departments of Computer Science, Cognitive Science and Linguistics, Indiana University, Lindley Hall, Bloomington, IN, 47405, U.S.A","Departments of Computer Science, Cognitive Science and Linguistics, Lindley Hall, Indiana University, Bloomington, IN 47405, U.S.A. htiede@indiana.edu"],"affiliations":[{"raw_affiliation_string":"Departments of Computer Science, Cognitive Science and Linguistics, Indiana University, Lindley Hall, Bloomington, IN, 47405, U.S.A","institution_ids":[]},{"raw_affiliation_string":"Departments of Computer Science, Cognitive Science and Linguistics, Lindley Hall, Indiana University, Bloomington, IN 47405, U.S.A. htiede@indiana.edu","institution_ids":["https://openalex.org/I4210119109"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013340138"],"corresponding_institution_ids":["https://openalex.org/I4210119109"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07612043,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"4","first_page":"473","last_page":"476"},"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.9991999864578247,"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.9991999864578247,"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.9524000287055969,"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/computer-science","display_name":"Computer science","score":0.2894652485847473}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2894652485847473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1008398024039","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008398024039","pdf_url":null,"source":{"id":"https://openalex.org/S197419112","display_name":"Journal of Logic Language and Information","issn_l":"0925-8531","issn":["0925-8531","1572-9583"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic, Language and Information","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W9614445","https://openalex.org/W159715351","https://openalex.org/W223002628","https://openalex.org/W1523047387","https://openalex.org/W1968426428","https://openalex.org/W2044758536","https://openalex.org/W2049362364","https://openalex.org/W2084788336","https://openalex.org/W2334137773","https://openalex.org/W3021983301","https://openalex.org/W6858163320","https://openalex.org/W7006633503"],"related_works":["https://openalex.org/W1498398955","https://openalex.org/W1544275701","https://openalex.org/W1537720540","https://openalex.org/W1509873392","https://openalex.org/W1580969131","https://openalex.org/W2149237038","https://openalex.org/W1577757648","https://openalex.org/W1528747348","https://openalex.org/W1566048669","https://openalex.org/W1530716141","https://openalex.org/W1584864005","https://openalex.org/W1496737199","https://openalex.org/W1582129177","https://openalex.org/W2196832093","https://openalex.org/W1512568407","https://openalex.org/W1491503292","https://openalex.org/W1574023555","https://openalex.org/W1593574019","https://openalex.org/W1901282116","https://openalex.org/W2261005187"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}