{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T17:14:05Z","timestamp":1761930845118,"version":"build-2065373602"},"reference-count":25,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2003.1210051","type":"proceedings-article","created":{"date-parts":[[2003,12,22]],"date-time":"2003-12-22T17:34:10Z","timestamp":1072114450000},"page":"118-127","source":"Crossref","is-referenced-by-count":9,"title":["A proof theory for generic judgments: an extended abstract"],"prefix":"10.1109","author":[{"given":"D.","family":"Miller","sequence":"first","affiliation":[]},{"given":"A.","family":"Tiu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"1","author":"milner","year":"1992","journal-title":"A Calculus of Mobile Processes Part I Information and Computation"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/333580.333590"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36206-1_3"},{"key":"15","first-page":"242","article-title":"The ?-calculus as a theory in linear logic: Preliminary results","volume":"660","author":"miller","year":"1993","journal-title":"LNCS"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00045-X"},{"key":"13","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1093\/logcom\/1.4.497","article-title":"A logic programming language with lambda-abstraction, function variables, and simple unification","volume":"1","author":"miller","year":"1991","journal-title":"Journal of Logic and Computation"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90011-R"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00168-2"},{"key":"12","first-page":"268","article-title":"Lexical scoping as universal quantification","author":"miller","year":"1989","journal-title":"Sixth International Logic Programming Conference"},{"key":"21","first-page":"64","article-title":"Functional unification of higher-order patterns","author":"nipkow","year":"1993","journal-title":"LICS93"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80506-1"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54010"},{"key":"23","first-page":"219","article-title":"Nominal logic, a first order theory of names and binding","volume":"2215","author":"pitts","year":"2001","journal-title":"LNCS"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031929"},{"journal-title":"Cut-elimination for a Logic with Generic Judgments","year":"2003","author":"tiu","key":"25"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.2307\/2266170"},{"journal-title":"Proof Theoretic Approach to Specification Languages","year":"1995","author":"chirimar","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/504077.504080"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1999.779762"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.5.635"},{"journal-title":"A Fixpoint Theorem in Linear Logic","year":"1992","author":"girard","key":"6"},{"key":"5","first-page":"68","article-title":"Investigations into logical deductions","author":"gentzen","year":"1969","journal-title":"The Collected Papers of Gerhard Gentzen"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s001650200016"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00171-1"},{"journal-title":"Reasoning in a Logic with Definitions and Induction","year":"1997","author":"mcdowell","key":"8"}],"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\/01210051.pdf?arnumber=1210051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T02:58:19Z","timestamp":1497581899000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210051\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/lics.2003.1210051","relation":{},"subject":[]}}