{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T14:52:02Z","timestamp":1773067922888,"version":"3.50.1"},"reference-count":0,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.441.8","type":"journal-article","created":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T12:09:49Z","timestamp":1772539789000},"page":"126-147","source":"Crossref","is-referenced-by-count":0,"title":["Sensible Intersection Type Theories"],"prefix":"10.4204","volume":"441","author":[{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"first","affiliation":[{"name":"Universita' di Torino,  Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Besik","family":"Dundua","sequence":"additional","affiliation":[{"name":"Kutaisi International University, Kutaisi, Tbilisi State University, Tbilisi, Georgia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Giannini","sequence":"additional","affiliation":[{"name":"Universita' del Piemonte Orientale,  Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Furio","family":"Honsell","sequence":"additional","affiliation":[{"name":"Universita' di Udine, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2026,3,4]]},"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T10:17:57Z","timestamp":1773051477000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2603.04004v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,4]]},"references-count":0,"URL":"https:\/\/doi.org\/10.4204\/eptcs.441.8","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,4]]}}}