{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T00:18:11Z","timestamp":1649031491526},"reference-count":12,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[1991,1]]},"DOI":"10.1080\/00207169108804021","type":"journal-article","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T00:17:49Z","timestamp":1182817069000},"page":"1-18","source":"Crossref","is-referenced-by-count":0,"title":["Introducing data types in intuitionistic type theory"],"prefix":"10.1080","volume":"41","author":[{"given":"Ming-Hua","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"CIT0002","first-page":"53","volume-title":"Intuitionism and Proof Theory","author":"Bishop E.","year":"1970"},{"key":"CIT0003","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"Bishop E.","year":"1985"},{"key":"CIT0004","first-page":"229","author":"Constable R.L.","year":"1971","journal-title":"Proc. IFIP Congress"},{"key":"CIT0005","first-page":"64","volume-title":"LNCS 158","author":"Constable R.L.","year":"1983"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71945-1"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70189-2"},{"key":"CIT0008","volume-title":"Intuitionistic Type Theory","author":"Martin-L\u00f6f P.","year":"1984"},{"key":"CIT0009","first-page":"915","author":"Nordstr\u00f6m B.","year":"1983","journal-title":"Proc. IFIP Congress"},{"key":"CIT0010","volume-title":"Report 3, PMG","author":"Petersson K.","year":"1984"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.2307\/2274575"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/BF00283330"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207169108804021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T19:20:08Z","timestamp":1497727208000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207169108804021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":12,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["10.1080\/00207169108804021"],"URL":"https:\/\/doi.org\/10.1080\/00207169108804021","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,1]]}}}