{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:46:07Z","timestamp":1742931967968,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022722"},{"type":"electronic","value":"9783642022739"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02273-9_2","type":"book-chapter","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T10:12:17Z","timestamp":1246011137000},"page":"3-4","source":"Crossref","is-referenced-by-count":0,"title":["A Pronominal Approach to Binding and Computation"],"prefix":"10.1007","author":[{"given":"Robert","family":"Harper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel R.","family":"Licata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noam","family":"Zeilberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Licata, D.R., Zeilberger, N., Harper, R.: Focusing on binding and computation. In: IEEE Symposium on Logic in Computer Science (2008)","DOI":"10.1109\/LICS.2008.48"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Licata, D.R., Harper, R.: A universe of binding and computation (March 2009), http:\/\/www.cs.cmu.edu\/~drl","DOI":"10.1145\/1631687.1596571"},{"key":"#cr-split#-2_CR3.1","doi-asserted-by":"crossref","unstructured":"Zeilberger, N.: On the unity of duality. Annals of Pure and Applied Logic 153(1\u20133) (2008);","DOI":"10.1016\/j.apal.2008.01.001"},{"key":"#cr-split#-2_CR3.2","unstructured":"Special issue on Classical Logic and Computation"},{"key":"2_CR4","unstructured":"Zeilberger, N.: The logical basis of evaluation order and pattern matching. PhD thesis, Carnegie Mellon University (2009)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Zeilberger, N.: Focusing and higher-order abstract syntax. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 359\u2013369 (2008)","DOI":"10.1145\/1328438.1328482"},{"key":"2_CR6","first-page":"15","volume-title":"PLPV 2009: Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification","author":"N. Zeilberger","year":"2009","unstructured":"Zeilberger, N.: Refinement types and computational duality. In: PLPV 2009: Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification, pp. 15\u201326. ACM Press, New York (2009)"},{"key":"2_CR7","first-page":"3","volume-title":"PLPV 2009: Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification","author":"D.R. Licata","year":"2009","unstructured":"Licata, D.R., Harper, R.: Positively dependent types. In: PLPV 2009: Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification, pp. 3\u201314. ACM, New York (2009)"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02273-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:19:30Z","timestamp":1558394370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02273-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022722","9783642022739"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02273-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}