{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:23Z","timestamp":1725663863716},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_57","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:11:21Z","timestamp":1330258281000},"page":"660-670","source":"Crossref","is-referenced-by-count":5,"title":["Verifying properties of module construction in type theory"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Reus","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Streicher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"57_CR1","volume-title":"Algebraic Specification","author":"J. A. Bergstra","year":"1989","unstructured":"J. A. Bergstra, J. Heering, P. Klint: Algebraic Specification. ACM Press, New York, 1989."},{"key":"57_CR2","volume-title":"LNCS 86","author":"R. M. Burstall","year":"1980","unstructured":"R.M. Burstall, J.A. Goguen: The semantics of Clear, a specification language. In: Proc. Advanced Course on Abstract Software Specification. LNCS 86, Springer, Berlin, 1980."},{"key":"57_CR3","unstructured":"R.M. Burstall, J. McKinna: Deliverables: a categorical approach to program development in type theory. ECS-LFCS-92-242, Dept. of Computer Science, Edinburgh University, 1992."},{"key":"57_CR4","unstructured":"J. McKinna: Deliverables: a categorical approach to program development in type theory. Ph.D. Thesis, University of Edinburgh, 1992. Also appeared as ECS-LFCS-92-247, Dept. of Computer Science, Edinburgh University, 1992."},{"key":"57_CR5","doi-asserted-by":"crossref","unstructured":"J. Leszczylowski, M. Wirsing: Polymorphism, Parameterisation and Typing: An Algebraic Specification Perspective. In: Proc. of the 8th STACS, LNCS 480, Springer, Berlin, p. 1\u201315.","DOI":"10.1007\/BFb0020783"},{"key":"57_CR6","doi-asserted-by":"crossref","unstructured":"Z. Luo: ECC, an Extended Calculus of Constructions. In: Proc. of the Fourth Ann. Symp. on Logic in Computer Science (LICS), IEEE, 1989, p. 385\u2013395.","DOI":"10.1109\/LICS.1989.39193"},{"key":"57_CR7","first-page":"143","volume-title":"LNCS 493","author":"Z. Luo","year":"1991","unstructured":"Z. Luo: Program specification and data refinement in type theory. In: Proc. of the Fourth Intern. Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493, Springer, Berlin, 1991, p. 143\u2013168."},{"key":"57_CR8","unstructured":"Z. Luo: private communication."},{"key":"57_CR9","unstructured":"Z. Luo, R. Pollack: LEGO Proof Development System: Users' Manual. ECS-LFCS-92-211, Dept. of Computer Science, Edinburgh University, 1992."},{"key":"57_CR10","volume-title":"Programming in Martin L\u00f6f's Type Theory","author":"B. Norstr\u00f6m","year":"1990","unstructured":"B. Norstr\u00f6m, K. Petersson, J.M. Smith: Programming in Martin L\u00f6f's Type Theory. Oxford University Press, Oxford, 1990."},{"key":"57_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0433-6","volume-title":"Semantics of Type Theory \u2014 Correctness, Completeness and Independence Results","author":"T. Streicher","year":"1991","unstructured":"T. Streicher: Semantics of Type Theory \u2014 Correctness, Completeness and Independence Results. Birkh\u00e4user, Boston, 1991."},{"key":"57_CR12","series-title":"LNCS 534","first-page":"323","volume-title":"Recent Trends in Data Type Specification","author":"T. Streicher","year":"1990","unstructured":"T. Streicher, M. Wirsing: Dependent types considered necessary for algebraic specification languages. In: Recent Trends in Data Type Specification, Proc. 7th International Workshop on Specification of Abstract Data Types. LNCS 534, Springer, Berlin, 1990, p. 323\u2013340."},{"key":"57_CR13","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"42","author":"M. Wirsing","year":"1986","unstructured":"M. Wirsing: Structured algebraic specifications: a kernel language. Theoretical Computer Science 42, 1986, p. 123\u2013249.","journal-title":"Theoretical Computer Science"},{"key":"57_CR14","first-page":"675","volume-title":"Handbook of Theoretical Computer Science, Volume B","author":"M. Wirsing","year":"1990","unstructured":"M. Wirsing: Algebraic Specification in J.V. Leeuwen (ed.): Handbook of Theoretical Computer Science, Volume B, Elsevier, Amsterdam, 1990, p. 675\u2013788."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:46Z","timestamp":1605647326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}