{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:00Z","timestamp":1725664260244},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580850"},{"type":"electronic","value":"9783540484400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58085-9_79","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:11:12Z","timestamp":1330269072000},"page":"238-262","source":"Crossref","is-referenced-by-count":1,"title":["Encoding Z-style Schemas in type theory"],"prefix":"10.1007","author":[{"given":"Savi","family":"Maharaj","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"J. Bowen and M. Gordon. Z and HOL, 1994. submitted to the '94 Z User Meeting.","DOI":"10.1007\/978-1-4471-3452-7_9"},{"key":"11_CR2","unstructured":"S. Brien, J. Nicholls, et al. Z Base Standard version 1.0. Technical Report ZIP\/PRG\/92\/121, Oxford University Computing Laboratory, 1992."},{"key":"11_CR3","unstructured":"Dowek, Felty, et al. The Coq proof assistant user's guide, version 5.8. Technical report, INRIA-Rocquencourt, February 1993."},{"key":"11_CR4","volume-title":"Technical Report WTH\/P7\/001","author":"W. Harwood","year":"1991","unstructured":"W. Harwood. Proof rules for Balzac. Technical Report WTH\/P7\/001, Imperial Software Technology, Cambridge, 1991."},{"key":"11_CR5","unstructured":"I. Hayes. Specification Case Studies. Prentice-Hall International, 1987."},{"key":"11_CR6","unstructured":"C. Jones and S. Maharaj. The LEGO library. Technical Report (forthcoming), LFCS, University of Edinburgh, 1994."},{"key":"11_CR7","unstructured":"Z. Luo. Computation and Reasoning: A Type Theory for Computer Science. Oxford University Press (forthcoming)."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Z. Luo. Program Specification and Data Refinement in Type Theory. Technical Report ECS-LFCS-91-131, LFCS, University of Edinburgh, 1991.","DOI":"10.1007\/3-540-53982-4_9"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Z. Luo. A Unifying Theory of Dependent Types: the Schematic Approach. In Logical Foundations of Computer Science\u2014Tver '92. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0023883"},{"key":"11_CR10","unstructured":"Z. Luo and R. Pollack. LEGO Proof Development System: user's manual. Technical Report ECS-LFCS-92-211, LFCS, University of Edinburgh, 1992."},{"key":"11_CR11","unstructured":"S. Maharaj. Implementing Z in LEGO. MSc thesis, University of Edinburgh, 1990."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"A. Martin. Encoding W: A logic for Z in 2OBJ. In FME '93: Industrial-Strength Formal Methods, Lecture Notes in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0024662"},{"key":"11_CR13","volume-title":"Technical Report TR-91-5449-02","author":"M. Saaltink","year":"1991","unstructured":"M. Saaltink. Z and EVES. Technical Report TR-91-5449-02, Odyssey Research Associates, Ottawa, Canada, 1991."},{"key":"11_CR14","unstructured":"ProofPower server. Send email to ProofPower-server@win.icl.co.uk."},{"key":"11_CR15","unstructured":"J.M. Spivey. Understanding Z: a specification language and its formal semantics. Cambridge University Press, 1988."}],"container-title":["Lecture Notes in Computer Science","Types for Proofs and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58085-9_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:51Z","timestamp":1605647811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58085-9_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580850","9783540484400"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-58085-9_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}