{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:23:10Z","timestamp":1742977390678,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642205507"},{"type":"electronic","value":"9783642205514"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20551-4_6","type":"book-chapter","created":{"date-parts":[[2011,4,20]],"date-time":"2011-04-20T08:04:40Z","timestamp":1303286680000},"page":"84-98","source":"Crossref","is-referenced-by-count":2,"title":["MikiBeta : A General GUI Library for Visualizing Proof Trees"],"prefix":"10.1007","author":[{"given":"Kanako","family":"Sakurai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenichi","family":"Asai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development Coq\u2019Art: The Calculus of Inductive Constructions","author":"Y. Bertot","year":"2004","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development Coq\u2019Art: The Calculus of Inductive Constructions. EATCS Series. Springer, Berlin (2004)"},{"key":"6_CR2","unstructured":"Danvy, O., Filinski, A.: A Functional Abstraction of Typed Contexts. Technical Report 89\/12, DIKU, University of Copenhagen (July 1989)"},{"key":"6_CR3","volume-title":"Semantics Engineering with PLT Redex","author":"M. Felleisen","year":"2009","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex. MIT Press, Cambridge (2009)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/3-540-45793-3_36","volume-title":"Computer Science Logic","author":"H. Geuvers","year":"2002","unstructured":"Geuvers, H., Jojgov, G.I.: Open Proofs and Open Terms: A Basis for Interactive Logic. In: Bradfield, J.C. (ed.) CSL 2002 and EACSL 2002. LNCS, vol.\u00a02471, pp. 537\u2013552. Springer, Heidelberg (2002)"},{"key":"6_CR5","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Yakushev, A.R., Holdermans, S., L\u00f6h, A., Jeuring, J.: Generic Programming with Fixed Points for Mutually Recursive Datatypes. In: Proceedings of the 2009 ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), pp. 233\u2013244 (August 2009)","DOI":"10.1145\/1631687.1596585"},{"issue":"5","key":"6_CR7","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1017\/S095679680300488X","volume":"14","author":"T. Sheard","year":"2004","unstructured":"Sheard, T., Pasalic, E.: Two-Level Types and Parameterized Modules. Journal of Functional Programming\u00a014(5), 547\u2013587 (2004)","journal-title":"Journal of Functional Programming"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20551-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T01:30:46Z","timestamp":1578533446000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20551-4_6"}},"subtitle":["System Description and Demonstration"],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642205507","9783642205514"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20551-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}