{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:38Z","timestamp":1725456158855},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022245","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:12:29Z","timestamp":1132621949000},"page":"31-45","source":"Crossref","is-referenced-by-count":1,"title":["The Girard Translation extended with recursion"],"prefix":"10.1007","author":[{"given":"Torben","family":"Bra\u00fcner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"3_CR1","unstructured":"S. Abramsky. Computational interpretations of linear logic. Technical Report 90\/20, Department of Computing, Imperial College, 1990."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"N. Benton, G. Bierman, V. de Paiva, and M. Hyland. Term assignment for intuitionistic linear logic. Technical Report 262, Computer Laboratory, University of Cambridge, 1992.","DOI":"10.1007\/BFb0037099"},{"key":"3_CR3","unstructured":"G. Bierman. On Intuitionistic Linear Logic. PhD thesis, Computer Laboratory, University of Cambridge, 1994."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"T. Bra\u00fcner. A general adequacy result for a linear functional language. Technical Report BRICS-RS-94-22, BRICS, Department of Computer Science, University of Aarhus, aug 1994. Manuscript presented at MFPS '94.","DOI":"10.7146\/brics.v1i22.21645"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"T. Bra\u00fcner. A model of intuitionistic affine logic from stable domain theory. In Proceedings of ICALP '94, LNCS, volume 820. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58201-0_80"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"R. L. Crole and A. M. Pitts. New foundations for fixpoint computations. In 5th LICS Conference. IEEE, 1990.","DOI":"10.1109\/LICS.1990.113771"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science, 50, 1987.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"3_CR8","unstructured":"J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Cambridge University Press, 1989."},{"key":"3_CR9","unstructured":"W. A. Howard. The formulae-as-type notion of construction. In J. R. Hindley and J. P. Seldin, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, 1980."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"H. Huwig and A. Poigne. A note on inconsistencies caused by fixpoints in a cartesian closed category. Theoretical Computer Science, 73, 1990.","DOI":"10.1016\/0304-3975(90)90165-E"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"F. W. Lawvere. Diagonal arguments and cartesian closed categories. In P. Hilton, editor, Category Theory, Homology Theory and their Applications II, LNM, volume 92. Springer-Verlag, 1969.","DOI":"10.1007\/BFb0080769"},{"key":"3_CR12","unstructured":"I. Mackie. Lilac: A Functional Programming Language Based on Linear Logic. M.Sc. thesis, Imperial College, 1991."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"I. Mackie, L. Rom\u00e1n, and S. Abramsky. An internal language for autonomous categories. Journal of Applied Categorical Structures, 1, 1993.","DOI":"10.1007\/BF00873993"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"P. S. Mulry. Strong monads, algebras and fixed points. In M. P. Fourman, P. T. Johnstone, and A. M. Pitts, editors, Application of Categories in Computer Science, volume 177. London Mathematical Society Lecture Notes Series, 1992.","DOI":"10.1017\/CBO9780511525902.012"},{"key":"3_CR15","unstructured":"G. D. Plotkin. Type theory and recursion (extended abstract). In 8th LICS Conference. IEEE, 1993."},{"key":"3_CR16","unstructured":"P. Wadler. There's no substitute for linear logic. Manuscript, 1991."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"G. Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993.","DOI":"10.7551\/mitpress\/3054.001.0001"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:43:33Z","timestamp":1586558613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022245"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0022245","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}