{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:27:42Z","timestamp":1759638462731,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005127","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T20:43:24Z","timestamp":1502397804000},"page":"1-12","source":"Crossref","is-referenced-by-count":2,"title":["Typability in bounded dimension"],"prefix":"10.1109","author":[{"given":"Andrej","family":"Dudenhefner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakob","family":"Rehof","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"66","article-title":"Detecting and removing dead-code using rank 2 intersection","author":"damiani","year":"1996","journal-title":"Types for Proofs and Programs International Workshop TYPES'96"},{"key":"ref11","first-page":"400","article-title":"The complexity of beta-reduction in low orders","volume":"2044","author":"schubert","year":"2001","journal-title":"TLCA Typed Lambda Calculi and Applications 5th International Conference Krakow Poland May 2-5 2001"},{"key":"ref12","first-page":"323","article-title":"Semantic evaluation, intersection types and complexity of simply typed lambda calculus","author":"terui","year":"2012","journal-title":"23rd International Conference on Rewriting Techniques and Applications (RTA'12) RTA 2012 May 28-June 2 2012"},{"key":"ref13","article-title":"Typability in Bounded Dimension (Extended Version)","author":"dudenhefner","year":"2017","journal-title":"Technical Report TR-858"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1016\/S0049-237X(08)71818-4","article-title":"The Lambda Calculus. Its Syntax and Semantics","author":"barendregt","year":"1984","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"ref15","article-title":"Strict Intersection Types for the Lambda Calculus","volume":"43","author":"van bakel","year":"2011","journal-title":"ACM Computing Surveys"},{"key":"ref16","first-page":"439","author":"baader","year":"2001","journal-title":"Handbook of Automated Reasoning"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/978-3-642-29485-3_13","article-title":"Overloading Is NP-Complete-A Tutorial Dedicated to Dexter Kozen","author":"palsberg","year":"2012","journal-title":"Logic and Program Semantics-Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139032636"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2307\/2273659"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292556"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/567067.567077"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02273-9_26"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317788"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19810270205"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093883253"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009862"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2017,6,20]]},"location":"Reykjavik, Iceland","end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005127.pdf?arnumber=8005127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T07:38:54Z","timestamp":1570001934000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005127\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005127","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}