{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:47:06Z","timestamp":1725558426824},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408017"},{"type":"electronic","value":"9783540452201"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45220-1_39","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T19:33:58Z","timestamp":1277494438000},"page":"484-497","source":"Crossref","is-referenced-by-count":10,"title":["Calculi of Meta-variables"],"prefix":"10.1007","author":[{"given":"Masahiko","family":"Sato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takafumi","family":"Sakurai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yukiyoshi","family":"Kameyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atsushi","family":"Igarashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0304-3975(97)00150-3","volume":"192","author":"L. Dami","year":"1998","unstructured":"Dami, L.: A Lambda-Calculus for Dynamic Binding. Theoretical Computer Science\u00a0192, 201\u2013231 (1998)","journal-title":"Theoretical Computer Science"},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"Davies, R.: A Temporal-Logic Approach to Binding-Time Analysis. In: 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 184\u2013195 (1996)","DOI":"10.1109\/LICS.1996.561317"},{"key":"39_CR3","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.: 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":"39_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BFb0026825","volume-title":"Programming Languages: Implementations, Logics and Programs","author":"R. Gl\u00fcck","year":"1995","unstructured":"Gl\u00fcck, R., J\u00f8rgensen, J.: Efficient multi-level generating extensions for program specialization. In: Swierstra, S.D. (ed.) PLILP 1995. LNCS, vol.\u00a0982, pp. 259\u2013278. Springer, Heidelberg (1995)"},{"issue":"1","key":"39_CR5","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"Harper, R., Honsell, F., Plotkin, G.: A Framework for Defining Logics. Journal of the Association for Computing Machinery\u00a040(1), 143\u2013194 (1993)","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"1-2","key":"39_CR6","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/S0304-3975(00)00174-2","volume":"266","author":"M. Hashimoto","year":"2001","unstructured":"Hashimoto, M., Ohori, A.: A Typed Context Calculus. Theoretical Computer Science\u00a0266(1-2), 249\u2013272 (2001)","journal-title":"Theoretical Computer Science"},{"key":"39_CR7","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)"},{"key":"39_CR8","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/A:1010052222987","volume":"12","author":"I. Mason","year":"1999","unstructured":"Mason, I.: Computing with Contexts. Higher-Order and Symbolic Computation\u00a012, 171\u2013201 (1999)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"Sands, D.: Computing with Contexts - a Simple Approach. Electronic Notes in Theoretical Computer Science, vol.\u00a010 (1998)","DOI":"10.1016\/S1571-0661(05)80694-2"},{"key":"39_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/3-540-45884-0_5","volume-title":"Progress in Discovery Science","author":"M. Sato","year":"2002","unstructured":"Sato, M.: Theory of Judgments and Derivations. In: Arikawa, S., Shinohara, A. (eds.) Progress in Discovery Science. LNCS (LNAI), vol.\u00a02281, pp. 78\u2013122. Springer, Heidelberg (2002)"},{"issue":"4","key":"39_CR11","first-page":"1","volume":"2002","author":"M. Sato","year":"2002","unstructured":"Sato, M., Sakurai, T., Kameyama, Y.: A Simply Typed Context Calculus with First-Class Environments. Journal of Functional and Logic Programming\u00a02002(4), 1\u201341 (2002)","journal-title":"Journal of Functional and Logic Programming"},{"key":"39_CR12","volume-title":"Mathematical Logic","author":"J.R. Shoenfield","year":"1967","unstructured":"Shoenfield, J.R.: Mathematical Logic. Addison-Wesley, Reading (1967)"},{"issue":"1","key":"39_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0304-3975(93)90240-T","volume":"112","author":"C. Talcott","year":"1993","unstructured":"Talcott, C.: A Theory of Binding Structures and Applications to Rewriting. Theoretical Computer Science\u00a0112(1), 99\u2013143 (1993)","journal-title":"Theoretical Computer Science"},{"key":"39_CR14","unstructured":"Yamamoto, K., Okamoto, A., Sato, M., Igarashi, A.: A Typed Lambda Calculus with Quasi-quotation (in Japanese). In: Informal Proceedings of the 4th JSSST Workshop on Programming and Programming Languages, pp. 87\u2013102 (2003)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45220-1_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T09:01:43Z","timestamp":1559206903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45220-1_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408017","9783540452201"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45220-1_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}