{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:48:14Z","timestamp":1742636894394},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_18","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T11:23:28Z","timestamp":1387452208000},"page":"274-291","source":"Crossref","is-referenced-by-count":2,"title":["Pers as Types, Inductive Types and Types with Laws"],"prefix":"10.1007","author":[{"given":"Ed","family":"Voermans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"R.C. Backhouse. Bruin P. de. P. Hoogendijk. G. Malcolm. Voermans T.S., and ran der Woude. Polynomial relators. To appear: 2nd Conference on Algebraic Methodology and Software Technology, May 22\u201325, 1991."},{"key":"18_CR2","volume-title":"Preparation: copies of draft available on request","author":"RC Backhouse","year":"1991","unstructured":"R.C. Backhouse, Bruin P. de. P. Hoogendijk, G. Malcolm, Voermans T.S., and J. van der Woude. A relational theory of datatypes. In preparation: copies of draft available on request, 1991."},{"key":"18_CR3","volume-title":"M\u00f4ller B., editor, Proceedings of the Ifip TC2\/WC2.1 Working Conference on Constructing Programs. Elsevier Science Publishers B.V.","author":"RC Backhouse","year":"1991","unstructured":"R.C. Backhouse, Bruin P. de. G. Malcolm, Voermans T.S., and J. van der Woude. Relational catamorphisms. In M\u00f4ller B., editor, Proceedings of the IFIP TC2\/WC2.1 Working Conference on Constructing Programs. Elsevier Science Publishers B.V.. 1991."},{"key":"18_CR4","first-page":"F36","volume-title":"Logic of Programming and Calculi of Discrete Design","author":"RS Bird","year":"1987","unstructured":"R.S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design. Springer-Verlag, 1987. NATO ASI Series, vol. F36."},{"key":"18_CR5","unstructured":"R.S. Bird. A calculus of functions for program derivation. Technical report, Programming Research Group, Oxford University, 11, Keble Road, Oxford, 0X1 3QD, U.K., 1988."},{"key":"18_CR6","first-page":"451","volume-title":"Program Specification and Transformations","author":"RS Bird","year":"1987","unstructured":"R.S. Bird and L. Meertens. Two exercises found in a book on algorithmics. In L.G.L.T. Meertens, editor, Program Specification and Transformations, pages 451\u2013457. Elsevier Science Publishers B.V., North Holland, 1987."},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3233\/FI-1986-9205","volume":"5184","author":"CAR Hoare","year":"1986","unstructured":"C.A.R. Hoare and Jifeng He. The weakest prespecification. Fundamenta Informaticae, 9: 51\u201384, 217\u2013252, 1986.","journal-title":"Fundamenta Informaticae 9"},{"key":"18_CR8","volume-title":"A formal tool for program design. Technical report, Universit\u00e9 de Sherbrooke","author":"A Jaoua","year":"1989","unstructured":"Ali Jaoua and Martin Beaudry. Difunctional relations: A formal tool for program design. Technical report, Universit\u00e9 de Sherbrooke, Facult\u00e9 des Sciences, D\u00e9partement de math\u00e8matiques et d\u2019informatique, July 1989."},{"key":"18_CR9","volume-title":"Algebraic data types and program transformation","author":"G Malcolm","year":"1990","unstructured":"G. Malcolm. Algebraic data types and program transformation. PhD thesis, Groningen University, 1990."},{"key":"18_CR10","volume-title":"Proceedings of the CWI Symposium on Mathematics and Computer Science, pages 289-334. North-Holland","author":"L Meertens","year":"1986","unstructured":"L. Meertens. Algorithmics \u2014 towards programming as a mathematical activity. In Proceedings of the CWI Symposium on Mathematics and Computer Science, pages 289\u2013334. North-Holland, 1986."},{"issue":"3","key":"18_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A Tarski","year":"1941","unstructured":"A. Tarski. On the calculus of relations. Journal of Symbolic Logic, 6 (3): 73\u201389, 1941.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,20]],"date-time":"2022-03-20T08:21:20Z","timestamp":1647764480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_18","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}