{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T09:03:27Z","timestamp":1750323807015},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642040269"},{"type":"electronic","value":"9783642040276"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04027-6_3","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T17:27:52Z","timestamp":1252949272000},"page":"3-19","source":"Crossref","is-referenced-by-count":2,"title":["Functional Interpretations of Intuitionistic Linear Logic"],"prefix":"10.1007","author":[{"given":"Gilda","family":"Ferreira","sequence":"first","affiliation":[]},{"given":"Paulo","family":"Oliva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/S0049-237X(98)80020-7","volume-title":"Handbook of proof theory","author":"J. Avigad","year":"1998","unstructured":"Avigad, J., Feferman, S.: G\u00f6del\u2019s functional (\u201cDialectica\u201d) interpretation. In: Buss, S.R. (ed.) Handbook of proof theory. Studies in Logic and the Foundations of Mathematics, vol.\u00a0137, pp. 337\u2013405. North Holland, Amsterdam (1998)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF02025118","volume":"16","author":"J. Diller","year":"1974","unstructured":"Diller, J., Nahm, W.: Eine Variant zur Dialectica-interpretation der Heyting Arithmetik endlicher Typen. Arch. Math. Logik Grundlagenforsch\u00a016, 49\u201366 (1974)","journal-title":"Arch. Math. Logik Grundlagenforsch"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a050(1), 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","volume":"12","author":"K. G\u00f6del","year":"1958","unstructured":"G\u00f6del, K.: \u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes. Dialectica\u00a012, 280\u2013287 (1958)","journal-title":"Dialectica"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0168-0072(01)00075-6","volume":"114","author":"J.M.E. Hyland","year":"2002","unstructured":"Hyland, J.M.E.: Proof theory in the abstract. Annals of Pure and Applied Logic\u00a0114, 43\u201378 (2002)","journal-title":"Annals of Pure and Applied Logic"},{"key":"3_CR6","first-page":"101","volume-title":"Constructivity in Mathematics","author":"G. Kreisel","year":"1959","unstructured":"Kreisel, G.: Interpretation of analysis by means of constructive functionals of finite types. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 101\u2013128. North Holland, Amsterdam (1959)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-540-73445-1_20","volume-title":"Logic, Language, Information and Computation","author":"P. Oliva","year":"2007","unstructured":"Oliva, P.: Computational interpretations of classical linear logic. In: Leivant, D., de Queiroz, R. (eds.) WoLLIC 2007. LNCS, vol.\u00a04576, pp. 285\u2013296. Springer, Heidelberg (2007)"},{"key":"3_CR8","volume-title":"Proc. of the Twenty Second Annual IEEE Symposium on Logic in Computer Science LICS 2007","author":"P. Oliva","year":"2007","unstructured":"Oliva, P.: Modified realizability interpretation of classical linear logic. In: Proc. of the Twenty Second Annual IEEE Symposium on Logic in Computer Science LICS 2007. IEEE Press, Los Alamitos (2007)"},{"issue":"2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1111\/j.1746-8361.2008.01135.x","volume":"62","author":"P. Oliva","year":"2008","unstructured":"Oliva, P.: An analysis of G\u00f6del\u2019s dialectica interpretation via linear logic. Dialectica\u00a062(2), 269\u2013290 (2008)","journal-title":"Dialectica"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Oliva, P.: Functional interpretations of linear and intuitionistic logic. Information and Computation (to appear, 2009)","DOI":"10.1016\/j.ic.2008.11.008"},{"key":"3_CR11","series-title":"Contemporary Mathematics","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1090\/conm\/092\/1003194","volume-title":"Proc. of Categories in Computer Science and Logic, Boulder, CO, 1987","author":"V.C.V. Paiva de","year":"1989","unstructured":"de Paiva, V.C.V.: The Dialectica categories. In: Gray, J.W., Scedrov, A. (eds.) Proc. of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics, vol.\u00a092, pp. 47\u201362. American Mathematical Society, Providence (1989)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BFb0018360","volume-title":"Category Theory and Computer Science","author":"V.C.V. Paiva de","year":"1989","unstructured":"de Paiva, V.C.V.: A Dialectica-like model of linear logic. In: Dybjer, P., Pitts, A.M., Pitt, D.H., Poign\u00e9, A., Rydeheard, D.E. (eds.) Category Theory and Computer Science. LNCS, vol.\u00a0389, pp. 341\u2013356. Springer, Heidelberg (1989)"},{"key":"3_CR13","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0066739","volume-title":"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis","author":"A.S. Troelstra","year":"1973","unstructured":"Troelstra, A.S.: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, vol.\u00a0344. Springer, Berlin (1973)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04027-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T19:07:41Z","timestamp":1685128061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04027-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642040269","9783642040276"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04027-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}