{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:39:04Z","timestamp":1742938744349,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205371"},{"type":"electronic","value":"9783540400202"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_16","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:42:34Z","timestamp":1277318554000},"page":"284-298","source":"Crossref","is-referenced-by-count":2,"title":["Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages"],"prefix":"10.1007","author":[{"given":"Shin-ya","family":"Katsumata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"An introduction to mathematical logic and type theory: to truth through proof","author":"P. Andrews","year":"1986","unstructured":"Andrews, P.: An introduction to mathematical logic and type theory: to truth through proof. Academic Press, London (1986)"},{"key":"16_CR2","volume-title":"The Lambda Calculus-Its Syntax and Semantics","author":"H. Barendregt","year":"1984","unstructured":"Barendregt, H.: The Lambda Calculus-Its Syntax and Semantics. North Holland, Amsterdam (1984)"},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(96)00039-4","volume":"165","author":"M. Bidoit","year":"1996","unstructured":"Bidoit, M., Hennicker, R.: Behavioural theories and the proof of behavioural properties. Theoretical Computer Science\u00a0165(1), 3\u201355 (1996)","journal-title":"Theoretical Computer Science"},{"issue":"2-3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0167-6423(95)00014-3","volume":"25","author":"M. Bidoit","year":"1995","unstructured":"Bidoit, M., Hennicker, R., Wirsing, M.: Behavioural and abstractor specifications. Science of Computer Programming\u00a025(2-3), 149\u2013186 (1995)","journal-title":"Science of Computer Programming"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-61064-2_41","volume-title":"Trees in Algebra and Programming - CAAP \u201996","author":"M. Bidoit","year":"1996","unstructured":"Bidoit, M., Tarlecki, A.: Behavioural satisfaction and equivalence in concrete model categories. In: Kirchner, H. (ed.) CAAP 1996. LNCS, vol.\u00a01059, pp. 241\u2013256. Springer, Heidelberg (1996)"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L. Henkin","year":"1950","unstructured":"Henkin, L.: Completeness in the theory of types. Journal of Symbolic Logic\u00a015, 81\u201391 (1950)","journal-title":"Journal of Symbolic Logic"},{"issue":"1-2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(96)00068-0","volume":"167","author":"M. Hofmann","year":"1996","unstructured":"Hofmann, M., Sannella, D.: On behavioural satisfaction and behavioural abstraction in higher-order logic. Theoretical Computer Science\u00a0167(1-2), 3\u201345 (1996)","journal-title":"Theoretical Computer Science"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/3-540-48168-0_38","volume-title":"Computer Science Logic","author":"F. Honsell","year":"1999","unstructured":"Honsell, F., Sannella, D.: Pre-logical relations. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol.\u00a01683, pp. 546\u2013561. Springer, Heidelberg (1999); An extended version is in Information and Computation 178, 23\u201343 (2002)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/3-540-44936-1","volume-title":"Foundation of Software Science and Computation Structures","author":"F. Honsell","year":"2000","unstructured":"Honsell, F., Longley, J., Sannella, D., Tarlecki, A.: Constructive data refinement in typed lambda calculus. In: Tiuryn, J. (ed.) FOSSACS 2000. LNCS, vol.\u00a01784, pp. 149\u2013164. Springer, Heidelberg (2000)"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/B978-0-12-450010-5.50023-2","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"J. Mitchell","year":"1991","unstructured":"Mitchell, J.: On the equivalence of data representations. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 305\u2013330. Academic Press, San Diego (1991)"},{"key":"16_CR11","volume-title":"Foundations for Programming Languages","author":"J. Mitchell","year":"1996","unstructured":"Mitchell, J.: Foundations for Programming Languages. MIT Press, Cambridge (1996)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0167-6423(90)90057-K","volume":"14","author":"O. Schoett","year":"1990","unstructured":"Schoett, O.: Behavioural correctness of data representations. Science of Computer Programming\u00a014, 43\u201357 (1990)","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T20:26:12Z","timestamp":1552595172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}