{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T07:11:22Z","timestamp":1794381082207,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540228493","type":"print"},{"value":"9783540278368","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27836-8_70","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T18:53:21Z","timestamp":1284576801000},"page":"831-845","source":"Crossref","is-referenced-by-count":2,"title":["A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems"],"prefix":"10.1007","author":[{"given":"Shin-ya","family":"Katsumata","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"70_CR1","volume-title":"The Lambda Calculus-Its Sytax and Semantics","author":"H. Barendregt","year":"1984","unstructured":"Barendregt, H.: The Lambda Calculus-Its Sytax and Semantics. North-Holland, Amsterdam (1984)"},{"key":"70_CR2","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/571157.571161","volume-title":"Proc. PPDP 2002","author":"M. Fiore","year":"2002","unstructured":"Fiore, M.: Semantic analysis of normalisation by evaluation for typed lambda calculus. In: Proc. PPDP 2002, pp. 26\u201337. ACM Press, New York (2002)"},{"key":"70_CR3","first-page":"92","volume-title":"Proc. LICS 1994","author":"M. Fiore","year":"1994","unstructured":"Fiore, M., Plotkin, G.: An axiomatization of computationally adequate domain theoretic models of FPC. In: Proc. LICS 1994, pp. 92\u2013102. IEEE, Los Alamitos (1994)"},{"key":"70_CR4","first-page":"193","volume-title":"Proc. LICS 1999","author":"M. Fiore","year":"1999","unstructured":"Fiore, M., Plotkin, G., Turi, D.: Abstract syntax and variable binding. In: Proc. LICS 1999, pp. 193\u2013202. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"70_CR5","doi-asserted-by":"crossref","unstructured":"Hermida, C.: Fibrations, Logical Predicates and Indeterminantes. PhD thesis, The University of Edinburgh (1993)","DOI":"10.7146\/dpb.v22i462.6935"},{"key":"70_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-46432-8_11","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. 161\u2013176. Springer, Heidelberg (2000)"},{"key":"70_CR7","first-page":"204","volume-title":"Proc. LICS 1999","author":"M. Hoffman","year":"1999","unstructured":"Hoffman, M.: Semantical analysis of higher-order abstract syntax. In: Proc. LICS 1999, pp. 204\u2013213. IEEE Computer Society, Los Alamitos (1999)"},{"issue":"1","key":"70_CR8","first-page":"23","volume":"178","author":"F. Honsell","year":"2002","unstructured":"Honsell, F., Sannella, D.: Prelogical relations. INFCTRL: Information and Computation (formerly Information and Control)\u00a0178(1), 23\u201343 (2002)","journal-title":"INFCTRL: Information and Computation (formerly Information and Control)"},{"key":"70_CR9","volume-title":"Categorical Logic and Type Theory","author":"B. Jacobs","year":"1999","unstructured":"Jacobs, B.: Categorical Logic and Type Theory. Elsevier, Amsterdam (1999)"},{"key":"70_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-540-40020-2_16","volume-title":"Recent Trends in Algebraic Development Techniques","author":"S. Katsumata","year":"2003","unstructured":"Katsumata, S.: Behavioural equivalence and indistinguishability in higher-order typed languages. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 284\u2013298. Springer, Heidelberg (2003)"},{"key":"70_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0014552","volume-title":"Theoretical Aspects of Computer Software","author":"Y. Kinoshita","year":"1997","unstructured":"Kinoshita, Y., O\u2019Hearn, P.W., Power, A.J., Takeyama, M.: An axiomatic approach to binary logical relations with applications to data refinement. In: Ito, T., Abadi, M. (eds.) TACS 1997. LNCS, vol.\u00a01281, pp. 191\u2013212. Springer, Heidelberg (1997)"},{"key":"70_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1007\/3-540-48168-0_39","volume-title":"Computer Science Logic","author":"Y. Kinoshita","year":"1999","unstructured":"Kinoshita, Y., Power, J.: Data-refinement for call-by-value programming languages. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol.\u00a01683, pp. 562\u2013576. Springer, Heidelberg (1999)"},{"key":"70_CR13","unstructured":"Lafont, Y.: Logiques, Categories et Machines. PhD thesis, Universit\u00e9 de Paris VII (1988)"},{"key":"70_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/3-540-45413-6_24","volume-title":"Typed Lambda Calculi and Applications","author":"H. Lei\u00df","year":"2001","unstructured":"Lei\u00df, H.: Second-order pre-logical relations and representation independence. In: Abramsky, S. (ed.) TLCA 2001. LNCS, vol.\u00a02044, pp. 298\u2013314. Springer, Heidelberg (2001)"},{"key":"70_CR15","volume-title":"Foundations for Programming Languages","author":"J. Mitchell","year":"1996","unstructured":"Mitchell, J.: Foundations for Programming Languages. MIT Press, Cambridge (1996)"},{"key":"70_CR16","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Mathematical Foundations of Programming Semantics","author":"Q. Ma","year":"1992","unstructured":"Ma, Q., Reynolds, J.C.: Types, abstractions, and parametric polymorphism, part 2. In: Schmidt, D., Main, M.G., Melton, A.C., Mislove, M.W., Brookes, S.D. (eds.) MFPS 1991. LNCS, vol.\u00a0598, pp. 1\u201340. Springer, Heidelberg (1992)"},{"key":"70_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/3-540-56992-8_21","volume-title":"Computer Science Logic","author":"J. Mitchell","year":"1993","unstructured":"Mitchell, J., Scedrov, A.: Notes on sconing and relators. In: Martini, S., B\u00f6rger, E., Kleine B\u00fcning, H., J\u00e4ger, G., Richter, M.M. (eds.) CSL 1992. LNCS, vol.\u00a0702, pp. 352\u2013378. Springer, Heidelberg (1993)"},{"key":"70_CR18","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1145\/888251.888269","volume-title":"Proc. PPDP 2003","author":"M. Miculan","year":"2003","unstructured":"Miculan, M., Scagnetto, I.: A framework for typed HOAS and semantics. In: Proc. PPDP 2003, pp. 184\u2013194. ACM Press, New York (2003)"},{"key":"70_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-45022-X_9","volume-title":"Automata, Languages and Programming","author":"G. Plotkin","year":"2000","unstructured":"Plotkin, G., Power, J., Sannella, D., Tennent, R.: Lax logical relations. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 85\u2013102. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27836-8_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:24:05Z","timestamp":1605741845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27836-8_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228493","9783540278368"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27836-8_70","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b99859","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}