{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:23:49Z","timestamp":1725567829990},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678984"},{"type":"electronic","value":"9783540446163"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-44616-3_8","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T10:09:44Z","timestamp":1287050984000},"page":"126-145","source":"Crossref","is-referenced-by-count":9,"title":["Subsorted Partial Higher-Order Logic as an Extension of CASL"],"prefix":"10.1007","author":[{"given":"Till","family":"Mossakowski","sequence":"first","affiliation":[]},{"given":"Anne","family":"Haxthausen","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Abstract and Concrete Categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Wiley, Chichester (1990)"},{"key":"8_CR2","volume-title":"An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof","author":"P.B. Andrews","year":"1986","unstructured":"Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic press, London (1986)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-50939-9_125","volume-title":"TAPSOFT \u201989. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989","author":"E. Astesiano","year":"1989","unstructured":"Astesiano, E., Cerioli, M.: On the existence of initial models for partial (higherorder) conditional specifications. In: D\u00edaz, J., Orejas, F. (eds.) CAAP 1989 and TAPSOFT 1989. LNCS, vol.\u00a0351, pp. 74\u201388. Springer, Heidelberg (1989)"},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.3233\/FI-1992-16203","volume":"16","author":"E. Astesiano","year":"1992","unstructured":"Astesiano, E., Cerioli, M.: Partial Higher\u2013Order Specifications. Fundamenta Informaticae\u00a016, 101\u2013126 (1992)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR5","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"The Lambda Calculus","author":"H.P. Barendregt","year":"1991","unstructured":"Barendregt, H.P.: The Lambda Calculus. Studies in Logic and the Foundations of Mathematics, vol.\u00a0103. North-Holland, Amsterdam (1991) (revised edition)"},{"key":"8_CR6","volume-title":"Handbook of Logic in Computer Science","author":"H.P. Barendregt","year":"1992","unstructured":"Barendregt, H.P.: Lambda calculi with types. In: Gabbai Samson Abramski, D.M., Maiboum, T.S.E. (eds.) Handbook of Logic in Computer Science. Oxford University Press, Oxford (1992)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Borzyszkowski, T.: Moving specification structures between logical systems. Presented at the WADT 1998 workshop, Lisbon (1998)","DOI":"10.1007\/3-540-48483-3_2"},{"key":"8_CR8","unstructured":"Broy, M., Facchi, C., Grosu, R., Hettler, R., Hussmann, H., Nazareth, D., Regensburger, F., St\u00f8len, K.: The requirement and design specification language Spectrum, an informal introduction, version 1.0. Technical report, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (March 1993)"},{"key":"8_CR9","volume-title":"A model theoretic approach to partial algebras","author":"P. Burmeister","year":"1986","unstructured":"Burmeister, P.: A model theoretic approach to partial algebras. Akademie Verlag, Berlin (1986)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"Cerioli, M., Meseguer, J.: May I borrow your logic (transporting logical structures along maps). Theoretical Computer Science\u00a0173, 311\u2013347 (1997)","journal-title":"Theoretical Computer Science"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-3-642-59851-7_3","volume-title":"Algebraic Foundations of Systems Specifications","author":"M. Cerioli","year":"1999","unstructured":"Cerioli, M., Mossakowski, T., Reichel, H.: From total equational to partial first order logic. In: Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.) Algebraic Foundations of Systems Specifications, pp. 31\u2013104. Springer, Heidelberg (1999)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BFb0000465","volume-title":"Algebraic Methodology and Software Technology","author":"M. Cerioli","year":"1997","unstructured":"Cerioli, M., Haxthausen, A., Krieg-Br\u00fcckner, B., Mossakowski, T.: Permissive subsorted partial logic in Casl. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349, pp. 91\u2013107. Springer, Heidelberg (1997)"},{"key":"8_CR13","doi-asserted-by":"crossref","first-page":"1269","DOI":"10.2307\/2274487","volume":"55","author":"W.A. Farmer","year":"1991","unstructured":"Farmer, W.A.: A partial functions version of Church\u2019s simple type theory. Journal of Symbolic Logic\u00a055, 1269\u20131291 (1991)","journal-title":"Journal of Symbolic Logic"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery\u00a039, 95\u2013146 (1992); Predecessor in: LNCS, vol. 164, pp. 221\u2013256 (1984)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0304-3975(96)00323-4","volume":"183","author":"A.E. Haxthausen","year":"1997","unstructured":"Haxthausen, A.E.: Order-sorted algebraic specifications with higher-order functions. Theoretical Computer Science\u00a0183, 157\u2013185 (1997)","journal-title":"Theoretical Computer Science"},{"key":"8_CR16","unstructured":"Hoffmann, K., Ehrig, H., Wolter, U.: Folding and unfolding construction between algebraic high level nets and contextual higher order nets. Presented at WADT 1999 (1999)"},{"key":"8_CR17","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)"},{"key":"8_CR18","first-page":"149","volume-title":"Proceedings of PRICAI 1994, Third Pacific Rim International Conference on Artificial Intelligence","author":"M. Kerber","year":"1994","unstructured":"Kerber, M.: Sound and complete translations from sorted higher-order logic into sorted first-order logic. In: Wah, B.W., Georgeff, M., Shi, Z. (eds.) Proceedings of PRICAI 1994, Third Pacific Rim International Conference on Artificial Intelligence, pp. 149\u2013154. International Academic Publishers, Beijing (1994)"},{"key":"8_CR19","unstructured":"Kohlhase, M.: Higher-order automated theorem proving. Unpublished draft, Universit\u00e4t Saarb\u00fccken (1999)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","first-page":"103","volume-title":"TAPSOFT \u201991. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991","author":"B. Krieg-Br\u00fcckner","year":"1991","unstructured":"Krieg-Br\u00fcckner, B., Sannella, D.: Structuring Specifications in-the-large and in-the-small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. In: Abramsky, S., Maibaum, T.S.E. (eds.) CAAP 1991 and TAPSOFT 1991. LNCS, vol.\u00a0493, pp. 103\u2013120. Springer, Heidelberg (1991)"},{"key":"8_CR21","unstructured":"CoFI Task Group on Language Design. Casl \u2013 The CoFI Algebraic Specification Language \u2013 Summary, version 1.0 (October 1998), Available at WWW, \n http:\/\/www.brics.dk\/Projects\/CoFI\/Documents\/CASLSummary\/index.html"},{"issue":"3","key":"8_CR22","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1093\/logcom\/6.3.409","volume":"6","author":"N. Mart\u00ed-Oliet","year":"1996","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Inclusions and subtypes I: First-order case. Journal of Logic and Computation\u00a06(3), 409\u2013438 (1996)","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"8_CR23","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/0304-3975(92)90310-C","volume":"100","author":"K. Meinke","year":"1992","unstructured":"Meinke, K.: Universal algebra in higher types. Theoretical Computer Science\u00a0100(2), 385\u2013417 (1992)","journal-title":"Theoretical Computer Science"},{"key":"8_CR24","first-page":"275","volume-title":"Logic Colloquium 87","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General logics. In: Logic Colloquium 87, pp. 275\u2013329. North Holland, Amsterdam (1989)"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/3-540-64299-4_43","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"1998","unstructured":"Mossakowski, T., Kolyang, Krieg-Br\u00fcckner, B.: Static semantic analysis and theorem proving for CASL. In: Parisi Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 333\u2013348. Springer, Heidelberg (1998)"},{"key":"8_CR26","unstructured":"Mossakowski, T., Haxthausen, A., Krieg-Br\u00fcckner, B.: Subsorted partial higher-order logic as an extension of casl. CoFI Note: L-10 (October 1998), Available at \n http:\/\/www.brics.dk\/Projects\/CoFI\/Notes\/L-10.html"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0030591","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"P.D. Mosses","year":"1997","unstructured":"Mosses, P.D.: CoFI: The Common Framework Initiative for Algebraic Specification and Development. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 115\u2013137. Springer, Heidelberg (1997)"},{"issue":"1\u20133","key":"8_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(86)80027-4","volume":"68","author":"A. Poign\u00e9","year":"1986","unstructured":"Poign\u00e9, A.: On specifications, theories, and models with higher types. Information and Control\u00a068(1\u20133), 1\u201346 (1986)","journal-title":"Information and Control"},{"issue":"6","key":"8_CR29","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/BF01209625","volume":"30","author":"Z. Qian","year":"1993","unstructured":"Qian, Z.: An algebraic semantics of higher-order types with subtypes. Acta Informatica\u00a030(6), 569\u2013607 (1993)","journal-title":"Acta Informatica"},{"key":"8_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/3-540-12727-5_24","volume-title":"CAAP \u201983","author":"D.T. Sannella","year":"1983","unstructured":"Sannella, D.T., Burstall, R.M.: Structured theories in LCF. In: Ausiello, G., Protasi, M. (eds.) CAAP 1983. LNCS, vol.\u00a0159, pp. 377\u2013391. Springer, Heidelberg (1983)"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/3-540-57867-6_20","volume-title":"Recent Trends in Data Type Specification","author":"P.Y. Schobbens","year":"1994","unstructured":"Schobbens, P.Y.: Second-order proof systems for algebraic specification languages. In: Ehrig, H., Orejas, F. (eds.) Abstract Data Types 1992 and COMPASS 1992. LNCS, vol.\u00a0785, pp. 321\u2013336. Springer, Heidelberg (1994)"},{"key":"8_CR32","unstructured":"CoFI Task Group on Semantics. Casl \u2013 The CoFI Algebraic Specification Language (version 1.0) \u2013 Semantics. Version 0.95. CoFI Note: S-9 (March 1999), Available at \n http:\/\/www.brics.dk\/Projects\/CoFI\/Notes\/S-9.html"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specification","author":"A. Tarlecki","year":"1996","unstructured":"Tarlecki, A.: Moving between logical systems. In: Haveraaen, M., Owe, O., Dahl, O.-J. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol.\u00a01130, pp. 478\u2013502. Springer, Heidelberg (1996)"},{"key":"8_CR34","volume-title":"Frontiers of Combining Systems, 2nd International Workshop","author":"A. Tarlecki","year":"1998","unstructured":"Tarlecki, A.: Towards heterogeneous specifications. In: Gabbay, D., van Rijke, M. (eds.) Frontiers of Combining Systems, 2nd International Workshop. Kluwer, Dordrecht (1998) (to appear)"},{"key":"8_CR35","series-title":"Lecture Notes in Computer Science","first-page":"154","volume-title":"Recent Trends in Data Type Specification","author":"A. Tarlecki","year":"1988","unstructured":"Tarlecki, A., M\u00f6ller, B., Wirsing, M.: Algebraic specifications of reachable higherorder algebras. In: Sannella, D., Tarlecki, A. (eds.) Abstract Data Types 1987. LNCS, vol.\u00a0332, pp. 154\u2013169. Springer, Heidelberg (1988)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44616-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T18:20:22Z","timestamp":1676053222000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-44616-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678984","9783540446163"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44616-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}