{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:47:07Z","timestamp":1725490027228},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735533"},{"type":"electronic","value":"9783540735540"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73554-0_15","type":"book-chapter","created":{"date-parts":[[2007,8,22]],"date-time":"2007-08-22T13:27:13Z","timestamp":1187789233000},"page":"150-162","source":"Crossref","is-referenced-by-count":1,"title":["Taming Non-compositionality Using New Binders"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Prost","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Quantiki - introductory tutotrials, \n                    \n                      http:\/\/www.quantiki.org\/wiki\/index.php\/Category:Introductory_Tutorials"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/292540.292555","volume-title":"POPL 1999","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Banerjee, N., Heintze, N., Riecke, J.G.: A core calculus of dependency. In: POPL 1999. Proceedings of the 26th Annual ACM Symposium on Principles of Programming Languages, pp. 147\u2013160. ACM Press, New York (1999)"},{"key":"15_CR3","first-page":"334","volume-title":"LICS 1998","author":"S. Abramsky","year":"1998","unstructured":"Abramsky, S., Honda, K., McCusker, G.: A fully abstract game semantics for general references. In: LICS 1998. Proceedings of thirteenth Annual IEEE Symposium on Logic in Computer Science, pp. 334\u2013344. IEEE Computer Society Press, Los Alamitos (1998)"},{"issue":"5","key":"15_CR4","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1002\/(SICI)1099-0712(199709)7:5<263::AID-AMO317>3.0.CO;2-Y","volume":"7","author":"A.I. Adamatzky","year":"1997","unstructured":"Adamatzky, A.I.: Information-processing capabilities of chemical reaction-diffusion systems. 1. belousov-zhabotinsky media in hydrogel matrices and on solid supports. Advanced Materials for Optics and Electronics\u00a07(5), 263\u2013272 (1997)","journal-title":"Advanced Materials for Optics and Electronics"},{"issue":"11","key":"15_CR5","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"L.M. Adleman","year":"1994","unstructured":"Adleman, L.M.: Molecular computation of solutions to combinatorial problems. Science\u00a0266(11), 1021\u20131024 (1994)","journal-title":"Science"},{"key":"15_CR6","volume-title":"20th Annual IEEE Symposium on Logic in Computer Science","author":"T. Altenkirch","year":"2005","unstructured":"Altenkirch, T., Grattage, J.: A functional quantum programming language. In: 20th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"15_CR7","first-page":"134","volume":"80","author":"P. Arrighi","year":"2003","unstructured":"Arrighi, P.: Quantum computation explained to my mother. Bulletin of the EATCS\u00a080, 134\u2013142 (2003)","journal-title":"Bulletin of the EATCS"},{"key":"15_CR8","unstructured":"Barendregt, H.P.: The Lambda Calculus; Its Syntax and Semantics. North-Holland, Revised Edition (1984)"},{"key":"15_CR9","volume-title":"Handbook of Logic in Computer Science","author":"H.P. Barendregt","year":"1993","unstructured":"Barendregt, H.P.: Lambda calculi with types. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science, Clarendon Press, Oxford (1993)"},{"key":"15_CR10","unstructured":"Baro, S., Maurel, F.: The q\u03bd and q\u03bdK calculi: name capture and control. Technical Report PPS\/\/03\/11\/\/n16, Universit\u00e9 Paris VII (March 2003)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/1086365.1086401","volume-title":"ICFP 2005","author":"M. Berger","year":"2005","unstructured":"Berger, M., Honda, K., Yoshida, N.: A logical analysis of aliasing in imperative higher-order functions. In: Danvy, O., Pierce, B.C. (eds.) ICFP 2005. Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, pp. 280\u2013293. ACM Press, New York (2005)"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1145\/1069774.1069783","volume-title":"PPDP 2005","author":"M.J. Gabbay","year":"2005","unstructured":"Gabbay, M.J.: A NEW calculus of contexts. In: PPDP 2005. Proc of the 7th ACM SIGPLAN, Symposium on Principle and Practice of Declarative Programmning, pp. 94\u2013105. ACM Press, New York (2005)"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Knill, E.: Convention for quantum pseudocode. Technical Report LAUR-96-2724, Los Alamos National Laboratory (1996)","DOI":"10.2172\/366453"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/178243.178246","volume-title":"PLDI 1994","author":"J. Launchbury","year":"1994","unstructured":"Launchbury, J., Jones, S.L.P.: Lazy functional state threads. In: PLDI 1994. Proceedings of the ACM SIGPLAN\u201994 Conference on Programming Language Design and Implementation, pp. 24\u201335. ACM Press, New York (1994)"},{"key":"15_CR15","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"15_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML. MIT Press, Cambridge, 1997 (revised)"},{"key":"15_CR17","volume-title":"Quantum Computation and Quantum Information","author":"M.A. Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/3-540-45699-6_8","volume-title":"Applied Semantics","author":"A.M. Pitts","year":"2002","unstructured":"Pitts, A.M.: Operational semantics and program equivalence. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 378\u2013412. Springer, Heidelberg (2002)"},{"issue":"1","key":"15_CR19","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/596980.596983","volume":"25","author":"F. Pottier","year":"2003","unstructured":"Pottier, F., Simonet, V.: Information flow inference for ML. ACM Transactions on Programming Languages and Systems\u00a025(1), 117\u2013158 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR20","volume-title":"LICS 2000","author":"F. Prost","year":"2000","unstructured":"Prost, F.: A static calculus of dependencies for the \u03bb-cube. In: LICS 2000. Proc. of IEEE 15th Ann. Symp. on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/11417170_26","volume-title":"Typed Lambda Calculi and Applications","author":"P. Selinger","year":"2005","unstructured":"Selinger, P., Valiron, B.: A lambda calculus for quantum computation with classical control. In: Urzyczyn, P. (ed.) TLCA 2005. LNCS, vol.\u00a03461, pp. 354\u2013368. Springer, Heidelberg (2005)"},{"issue":"5","key":"15_CR22","doi-asserted-by":"publisher","first-page":"1109","DOI":"10.1137\/S0097539703432165","volume":"33","author":"A. Tonder van","year":"2004","unstructured":"van Tonder, A.: A lambda calculus for quantum computation. SIAM J. Comput.\u00a033(5), 1109\u20131135 (2004)","journal-title":"SIAM J. Comput."}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73554-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:10:28Z","timestamp":1558275028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73554-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540735533","9783540735540"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73554-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}