{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T11:17:02Z","timestamp":1778757422278,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540230243","type":"print"},{"value":"9783540301240","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30124-0_2","type":"book-chapter","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T12:27:59Z","timestamp":1267532879000},"page":"6-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Abstract Interpretation of Proofs: Classical Propositional Calculus"],"prefix":"10.1007","author":[{"given":"Martin","family":"Hyland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,9,9]]},"reference":[{"key":"2_CR1","unstructured":"Bellin, G., Hyland, M., Robinson, E., Urban, C.: Proof Theory of Classical Logic (preparation)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0022-4049(89)90160-6","volume":"59","author":"R. Blackwell","year":"1989","unstructured":"Blackwell, R., Kelly, G.M., Power, A.J.: Two-dimensional monad theory. Journal of Pure and Applied Algebra\u00a059, 1\u201341 (1989)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"2_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-78034-9","volume-title":"Iteration Theories","author":"S.L. Bloom","year":"1993","unstructured":"Bloom, S.L., Esik, Z.: Iteration Theories. Springer, Heidelberg (1993)"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0168-0072(99)00009-3","volume":"100","author":"A. Carbone","year":"1999","unstructured":"Carbone, A.: Duplication of directed graphs and exponential blow up of proofs. Annals of Pure and Applied Logic\u00a0100, 1\u201367 (1999)","journal-title":"Annals of Pure and Applied Logic"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Carbone, A.: Asymptotic cyclic expansion and bridge groups of formal proofs. Journal of Algebra, 109\u2013145 (2001)","DOI":"10.1006\/jabr.2000.8700"},{"issue":"1","key":"2_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0304-3975(01)00145-1","volume":"288","author":"A. Carbone","year":"2002","unstructured":"Carbone, A.: Streams and strings in formal proofs. Theoretical Computer Science\u00a0288(1), 45\u201383 (2002)","journal-title":"Theoretical Computer Science"},{"key":"2_CR7","unstructured":"Carmody, S.: Cobordism Categories. PhD Dissertation, University of Cambridge (1995)"},{"key":"2_CR8","volume-title":"Regular algebra and finite machines","author":"J.H. Conway","year":"1971","unstructured":"Conway, J.H.: Regular algebra and finite machines. Chapman and Hall, Boca Raton (1971)"},{"key":"2_CR9","unstructured":"Dijkgraaf, R.: A geometric approach to two dimensional conformal field theory. Ph.D. Thesis, Univeristy of Utrecht (1989)"},{"key":"2_CR10","unstructured":"Frobenius, G.: Theorie der hyperkomplexen Gr\u00f6ssen. Sitzungsbereich K. Preuss Akad. Wis. 24, 503\u2013537, 634\u2013645 (1903)"},{"key":"2_CR11","unstructured":"F\u00fchrmann, C., Pym, D.: Order-enriched Categorical Models of the Classical Sequent Calculus (Submitted)"},{"key":"2_CR12","volume-title":"Proceedings LICS 2004","author":"C. F\u00fchrmann","year":"2004","unstructured":"F\u00fchrmann, C., Pym, D.: On the Geometry of Interaction for Classical Logic (Extended Abstract). In: Proceedings LICS 2004. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"2_CR13","volume-title":"Proofs and Types","author":"J.-Y. Girard","year":"1989","unstructured":"Girard, J.-Y.: Proofs and Types. Cambridge University Press, Cambridge (1989)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear Logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"2_CR15","volume-title":"Distinguished Dissertation in Computer Science","author":"M. Hasegawa","year":"1999","unstructured":"Hasegawa, M.: Models of sharing graphs (A categorical semantics for Let and Letrec). In: Distinguished Dissertation in Computer Science, Springer, Heidelberg (1999)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0168-0072(01)00075-6","volume":"114","author":"J.M.E. Hyland","year":"2002","unstructured":"Hyland, J.M.E.: Proof Theory in the Abstract. Annals of Pure and Applied Logic\u00a0114, 43\u201378 (2002)","journal-title":"Annals of Pure and Applied Logic"},{"key":"2_CR17","first-page":"280","volume-title":"Proceedings of PPDP 2000","author":"M. Hyland","year":"2000","unstructured":"Hyland, M., Power, J.: Symmetric monoidal sketches. In: Proceedings of PPDP 2000, pp. 280\u2013288. ACM Press, New York (2000)"},{"key":"2_CR18","unstructured":"Hyland, M., Power, J.: Symmetric monoidal skecthes and categories of wiring diagrams. In: Proceedings of CMCIM (2003, To appear)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0304-3975(01)00241-9","volume":"294","author":"M. Hyland","year":"2003","unstructured":"Hyland, M., Schalk, A.: Glueing and Orthogonality for Models of Linear Logic. Theoretical Computer Science\u00a0294, 183\u2013231 (2003)","journal-title":"Theoretical Computer Science"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1017\/S0305004100074338","volume":"119","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Street, R., Verity, D.: Traced monoidal categories. Math. Proc Camb Phil. Soc.\u00a0119, 425\u2013446 (1996)","journal-title":"Math. Proc Camb Phil. Soc."},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"G.M. Kelly","year":"1980","unstructured":"Kelly, G.M., Laplaza, M.: Coherence for compact closed categories. Journal of Pure and Applied Algebra\u00a019, 193\u2013213 (1980)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0022-4049(93)90092-8","volume":"89","author":"G.M. Kelly","year":"1993","unstructured":"Kelly, G.M., Power, A.J.: Adjunctions whose counits are equalizers, and presentations of finitary enriched monads. Journal of Pure and Applied Algebra\u00a089, 163\u2013179 (1993)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"2_CR23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615443","volume-title":"Frobenius Algebras and 2D Topological Quantum Field Theories","author":"J. Kock","year":"2003","unstructured":"Kock, J.: Frobenius Algebras and 2D Topological Quantum Field Theories. Cambridge University Press, Cambridge (2003)"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BFb0083085","volume":"80","author":"F.W. Lawvere","year":"1969","unstructured":"Lawvere, F.W.: Ordinal sums and equational doctrines. Seminar on Triples and Categorical Homology Theory, LNM\u00a080, 141\u2013155 (1969)","journal-title":"Seminar on Triples and Categorical Homology Theory, LNM"},{"key":"2_CR25","volume-title":"Graduate Texts in Mathematics","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the working mathematician. In: Graduate Texts in Mathematics, vol.\u00a05. Springer, Heidelberg (1971)"},{"key":"2_CR26","unstructured":"May, J.P.: Simplicial objects in algebraic topology, Van Nostrand, Princeton (1967)"},{"key":"2_CR27","unstructured":"Nygaard, M., Winskel, G.: Domain Theory for Concurrency. Theoretical Computer Science (To appear)"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1017\/S0305004100070092","volume":"110","author":"A.J. Power","year":"1991","unstructured":"Power, A.J., Robinsons, E.P.: A characterization of PIE limits. Math. Proc. Camb. Phil. Soc.\u00a0110, 33\u201347 (1991)","journal-title":"Math. Proc. Camb. Phil. Soc."},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Prawitz, D.: Ideas and results in proof theory. In: Fenstad, J.-E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, North-Holland, pp. 237\u2013309 (1971)","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"2_CR30","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1093\/logcom\/13.5.777","volume":"13","author":"E.P. Robinson","year":"2003","unstructured":"Robinson, E.P.: Proof Nets for Classical Logic. Journal of Logic and Computation\u00a013, 777\u2013797 (2003)","journal-title":"Journal of Logic and Computation"},{"key":"2_CR31","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1080\/00927877508822067","volume":"3","author":"M.E. Szabo","year":"1997","unstructured":"Szabo, M.E.: Polycategories. Comm. Alg.\u00a03, 663\u2013689 (1997)","journal-title":"Comm. Alg."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30124-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,22]],"date-time":"2020-01-22T20:03:01Z","timestamp":1579723381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30124-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230243","9783540301240"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30124-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]},"assertion":[{"value":"9 September 2004","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}