{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:14:32Z","timestamp":1648772072562},"reference-count":12,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"DOI":"10.1093\/jigpal\/jzw035","type":"journal-article","created":{"date-parts":[[2016,7,2]],"date-time":"2016-07-02T03:43:54Z","timestamp":1467431034000},"page":"jzw035","source":"Crossref","is-referenced-by-count":1,"title":["\u03b7-conversions of IPC implemented in atomic F"],"prefix":"10.1093","author":[{"given":"Gilda","family":"Ferreira","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2016,7,1]]},"reference":[{"key":"2016070120434246000_jzw035v1.1","unstructured":"Dinis B. and Ferreira. G. Instantiation overflow. Reports on Mathematical Logic, to appear."},{"key":"2016070120434246000_jzw035v1.2","first-page":"1","article-title":"Continuation-passing style and strong normalization for intuitionistic sequent calculi.","volume":"5","author":"Santo","year":"2009","journal-title":"Logical Methods in Computer Science"},{"key":"2016070120434246000_jzw035v1.3","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-005-9001-z"},{"key":"2016070120434246000_jzw035v1.4","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9186-1"},{"key":"2016070120434246000_jzw035v1.5","doi-asserted-by":"publisher","DOI":"10.2178\/jsl.7801180"},{"key":"2016070120434246000_jzw035v1.6","unstructured":"Ferreira F. and Ferreira. G. The faithfulness of atomic polymorphism. In Proceedings of Trends in Logic XIII, Indrzejczak, A. Kaczmarek A. and Zawidzki, A. eds, pp. 55\u201365. \u0141\u00f3d\u017a University Press,x 2014."},{"key":"2016070120434246000_jzw035v1.7","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-015-9620-5"},{"key":"2016070120434246000_jzw035v1.8","unstructured":"Ferreira F. and Ferreira. G. An elementary proof of strong normalization for atomic $\\mathbf{F}$ . Bulletin of the Section of Logic, to appear."},{"key":"2016070120434246000_jzw035v1.9","unstructured":"Girard, J.-Y. Lafont A. and Taylor. A. Proofs and Types. Cambridge University Press, 1989."},{"key":"2016070120434246000_jzw035v1.10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2006.03.009"},{"key":"2016070120434246000_jzw035v1.11","unstructured":"Prawitz. D. Natural Deduction. Almkvist & Wiksell, 1965. Reprinted, with a new preface, in Dover Publications, 2006."},{"key":"2016070120434246000_jzw035v1.12","unstructured":"Russell. B. Principles of Mathematics, George Allen and Unwin, 1903 (2nd edn. 1937)."}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,1,16]],"date-time":"2017-01-16T17:16:58Z","timestamp":1484587018000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzw035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,1]]},"references-count":12,"alternative-id":["10.1093\/jigpal\/jzw035"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzw035","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,1]]}}}