{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:32Z","timestamp":1725487112898},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732273"},{"type":"electronic","value":"9783540732280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73228-0_18","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:57:11Z","timestamp":1184601431000},"page":"240-254","source":"Crossref","is-referenced-by-count":4,"title":["The Inhabitation Problem for Rank Two Intersection Types"],"prefix":"10.1007","author":[{"given":"Dariusz","family":"Ku\u015bmierek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"18_CR1","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.tcs.2006.01.004","volume":"355","author":"F. Alessi","year":"2006","unstructured":"Alessi, F., Barbanera, F., Dezani-Ciancanglini, M.: Intersection types and lambda models. Theoretical Computer Science\u00a0355(2), 108\u2013126 (2006)","journal-title":"Theoretical Computer Science"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BFb0014060","volume-title":"Typed Lambda Calculi and Applications","author":"T. Kurata","year":"1995","unstructured":"Kurata, T., Takahashi, M.: Decidable properties of intersection type systems. In: Dezani-Ciancaglini, M., Plotkin, G. (eds.) TLCA 1995. LNCS, vol.\u00a0902, pp. 297\u2013311. Springer, Heidelberg (1995)"},{"key":"18_CR3","first-page":"88","volume-title":"Proceedings of the 10th ACM Symposium on Principles of Programing Languages","author":"D. Leivant","year":"1983","unstructured":"Leivant, D.: Polymorphic type inference. In: Proceedings of the 10th ACM Symposium on Principles of Programing Languages, Austin, Texas, pp. 88\u201398. ACM Press, New York (1983)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","first-page":"208","volume-title":"Proof-Functional Connectives","author":"E.G.K. Lopez-Escobar","year":"1985","unstructured":"Lopez-Escobar, E.G.K.: Proof-Functional Connectives. In: Proof-Functional Connectives. LNCS, vol.\u00a01130, pp. 208\u2013221. Springer, Heidelberg (1985)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1305\/ndjfl\/1093635158","volume":"30","author":"G. Mints","year":"1989","unstructured":"Mints, G.: The Completeness of Provable Realizability. Notre Dame Journal of Formal Logic\u00a030, 420\u2013441 (1989)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"18_CR6","volume-title":"Computational Complexity","author":"C..H. Papadimitriou","year":"1995","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison-Wesley Publishing Company, Reading, MA (1995)"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0304-3975(79)90006-9","volume":"9","author":"R. Statman","year":"1979","unstructured":"Statman, R.: Intuitionistic propositional logic is polynomial-space complete. TCS\u00a09, 67\u201372 (1979)","journal-title":"TCS"},{"issue":"3","key":"18_CR8","doi-asserted-by":"publisher","first-page":"1195","DOI":"10.2307\/2586625","volume":"64","author":"P. Urzyczyn","year":"1999","unstructured":"Urzyczyn, P.: The emptiness problem for intersection types. Journal of Symbolic Logic\u00a064(3), 1195\u20131215 (1999)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73228-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T00:10:48Z","timestamp":1550448648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73228-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732273","9783540732280"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73228-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}