{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:54Z","timestamp":1761611274567},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253884"},{"type":"electronic","value":"9783540319825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31982-5_11","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T07:29:02Z","timestamp":1294990142000},"page":"170-186","source":"Crossref","is-referenced-by-count":8,"title":["A Unifying Model of Variables and Names"],"prefix":"10.1007","author":[{"given":"Marino","family":"Miculan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kidane","family":"Yemane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Adamek, J. (ed.): Coalgebraic Methods in Computer Science. ENTCS (2004)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-30477-7_20","volume-title":"Programming Languages and Systems","author":"M. Boreale","year":"2004","unstructured":"Boreale, M., Buscemi, M.G., Montanari, U.: D-fusion: A distinctive fusion calculus. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 296\u2013310. Springer, Heidelberg (2004)"},{"key":"11_CR3","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0060438","volume-title":"Reports of the Midwest Category Seminar","author":"B.J. Day","year":"1970","unstructured":"Day, B.J.: On closed categories of functors. In: Reports of the Midwest Category Seminar. Lecture Notes in Mathematics, vol.\u00a0137, pp. 1\u201338. Springer, Heidelberg (1970)"},{"key":"11_CR4","unstructured":"Fiore, M., Staton, S.: Comparing operational models of name-passing process calculi. In: Adamek [1]"},{"key":"11_CR5","first-page":"93","volume-title":"Proc. 16th LICS","author":"M. Fiore","year":"2001","unstructured":"Fiore, M., Turi, D.: Semantics of name and value passing. In: Mairson, H. (ed.) Proc. 16th LICS, pp. 93\u2013104. IEEE, Los Alamitos (2001)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Fiore, M., Plotkin, G., Turi, D.: Abstract syntax and variable binding. In: [11]","DOI":"10.1109\/LICS.1999.782615"},{"key":"11_CR7","first-page":"139","volume-title":"Proc.\u00a0LICS 2004","author":"M. Gabbay","year":"2004","unstructured":"Gabbay, M., Cheney, J.: A sequent calculus for nominal logic. In: Proc.\u00a0LICS 2004, pp. 139\u2013148. IEEE Computer Society, Los Alamitos (2004)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s001650200016","volume":"13","author":"M.J. Gabbay","year":"2002","unstructured":"Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects of Computing\u00a013, 341\u2013363 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"11_CR9","unstructured":"Ghani, N., Yemane, K., Victor, B.: Relationally staged computation in calculi of mobile processes. In: Adamek [1]"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Hofmann, M.: Semantical analysis of higher-order abstract syntax. In: Longo [11]","DOI":"10.1109\/LICS.1999.782616"},{"volume-title":"Proc. 14th Symp. of Logic in Computer Science","year":"1999","key":"11_CR11","unstructured":"Longo, G. (ed.): Proc. 14th Symp. of Logic in Computer Science. IEEE, Los Alamitos (1999)"},{"key":"11_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in Geometry and Logic","author":"S. Mac Lane","year":"1994","unstructured":"Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic. Springer, Heidelberg (1994)"},{"key":"11_CR13","first-page":"184","volume-title":"Proc.\u00a0PPDP 2003","author":"M. Miculan","year":"2003","unstructured":"Miculan, M., Scagnetto, I.: A framework for typed HOAS and semantics. In: Proc.\u00a0PPDP 2003, pp. 184\u2013194. ACM Press, New York (2003)"},{"key":"11_CR14","unstructured":"Miculan, M., Yemane, K.: A unifying model of variables and names. TR UDMI\/15\/2004\/RR, Dept. of Mathematics and Computing Science, Univ. of Udine (2004), http:\/\/www.dimi.uniud.it\/miculan\/Papers\/UDMI152004.pdf"},{"key":"11_CR15","first-page":"118","volume-title":"LICS","author":"D. Miller","year":"2003","unstructured":"Miller, D., Tiu, A.F.: A proof theory for generic judgments: An extended abstract. In: LICS 2003, pp. 118\u2013127. IEEE, Los Alamitos (2003)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Pitts, A.M.: Categorical logic. In: Handbook of LICS, vol.\u00a05. OUP (2000)","DOI":"10.1093\/oso\/9780198537816.003.0005"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0890-5401(03)00138-X","volume":"186","author":"A.M. Pitts","year":"2003","unstructured":"Pitts, A.M.: Nominal logic, a first order theory of names and binding. Information and Computation\u00a0186, 165\u2013193 (2003)","journal-title":"Information and Computation"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/11417170_23","volume-title":"Typed Lambda Calculi and Applications","author":"J. Power","year":"2005","unstructured":"Power, J., Tanaka, M.: Binding signatures for generic contexts. In: Urzyczyn, P. (ed.) TLCA 2005. LNCS, vol.\u00a03461, pp. 308\u2013323. Springer, Heidelberg (2005)"},{"key":"11_CR19","unstructured":"Stark, I.: A fully abstract domain model for the \u03c0-calculus. In: Proc.\u00a0LICS 1996 (1996)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31982-5_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T11:08:25Z","timestamp":1637147305000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31982-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253884","9783540319825"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31982-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}