{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:18Z","timestamp":1761611118511,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2003.1210048","type":"proceedings-article","created":{"date-parts":[[2003,12,22]],"date-time":"2003-12-22T17:34:10Z","timestamp":1072114450000},"page":"86-95","source":"Crossref","is-referenced-by-count":14,"title":["Dependent intersection: a new way of defining records in type theory"],"prefix":"10.1109","author":[{"given":"A.","family":"Kopylov","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44659-1_29"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45685-6_18"},{"key":"18","article-title":"Programming with intersection types, union types, and polymorphism","author":"pierce","year":"1991","journal-title":"Technical Report CMU-CS-91-106"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176926"},{"journal-title":"Intuitionistic Type Theory Studies in Proof Theory Lecture Notes","year":"1984","author":"martin-lo?f","key":"16"},{"journal-title":"MetaPRL Home Page","year":"0","author":"hickey","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44802-0_40"},{"key":"11","article-title":"Formal objects in type theory using very dependent types","volume":"3","author":"hickey","year":"1996","journal-title":"Foundations of Object-Oriented Languages"},{"journal-title":"The MetaPRL Logical Programming Environment","year":"2001","author":"hickey","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4118-8_9"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289451"},{"key":"20","first-page":"561","article-title":"A type assignment for the strongly normalizable ?-terms","author":"pottinger","year":"1980","journal-title":"To H B Curry Essays on combinatory logic lambda calculus and formalism"},{"journal-title":"A Non-Type-Theoretic Semantics for Type-Theoretic Language","year":"1987","author":"allen","key":"2"},{"key":"1","first-page":"215","article-title":"A Non-type-theoretic definition of Martin-Lo?f's types","author":"allen","year":"1987","journal-title":"Proc IEEE Symp on Logic in Computer Science"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"7","first-page":"91","article-title":"NuPRL's class theory and its applications","author":"constable","year":"2000","journal-title":"Foundations of Secure Computation"},{"journal-title":"Implementing Mathematics with the Nuprl Development System","year":"1986","author":"constable","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80025-6"},{"key":"4","first-page":"21","article-title":"Extension of Martin-Lo?fs type theory with record types and subtyping","volume":"36","author":"betarte","year":"1998","journal-title":"Oxford Logic Guides"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030630"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093883253"}],"event":{"name":"18th Annual IEEE Symposium on Logic in Computer Science","acronym":"LICS-03","location":"Ottawa, Ont., Canada"},"container-title":["18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8592\/27231\/01210048.pdf?arnumber=1210048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T17:36:15Z","timestamp":1489426575000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210048\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/lics.2003.1210048","relation":{},"subject":[]}}