{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T01:59:36Z","timestamp":1776304776137,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642151545","type":"print"},{"value":"9783642151552","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15155-2_33","type":"book-chapter","created":{"date-parts":[[2010,8,13]],"date-time":"2010-08-13T20:17:45Z","timestamp":1281730665000},"page":"368-380","source":"Crossref","is-referenced-by-count":25,"title":["Second-Order Algebraic Theories"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Fiore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ola","family":"Mahmoud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","unstructured":"Aczel, P.: A general Church-Rosser theorem. Typescript (1978)"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Aczel, P.: Frege structures and the notion of proposition, truth and set. In: The Kleene Symposium, pp. 31\u201359 (1980)","DOI":"10.1016\/S0049-237X(08)71252-7"},{"key":"33_CR3","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"G. Birkhoff","year":"1935","unstructured":"Birkhoff, G.: On the structure of abstract algebras. P. Camb. Philos. Soc.\u00a031, 433\u2013454 (1935)","journal-title":"P. Camb. Philos. Soc."},{"issue":"1","key":"33_CR4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1093\/comjnl\/12.1.41","volume":"12","author":"R. Burstall","year":"1969","unstructured":"Burstall, R.: Proving properties of programs by structural induction. The Computer Journal\u00a012(1), 41\u201348 (1969)","journal-title":"The Computer Journal"},{"key":"33_CR5","doi-asserted-by":"publisher","first-page":"354","DOI":"10.2307\/2371045","volume":"58","author":"A. Church","year":"1936","unstructured":"Church, A.: An unsolvable problem of elementary number theory. Am. J. Math.\u00a058, 354\u2013363 (1936)","journal-title":"Am. J. Math."},{"key":"33_CR6","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A. Church","year":"1940","unstructured":"Church, A.: A formulation of the simple theory of types. J. Symbolic Logic\u00a05, 56\u201368 (1940)","journal-title":"J. Symbolic Logic"},{"key":"33_CR7","series-title":"Mathematics and its Applications","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-8399-1","volume-title":"Universal Algebra","author":"P. Cohn","year":"1981","unstructured":"Cohn, P.: Universal Algebra. Mathematics and its Applications, vol.\u00a06. Springer, Heidelberg (1981)"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"Fiore, M.: Second-order and dependently-sorted abstract syntax. In: LICS 2008, pp. 57\u201368 (2008)","DOI":"10.1109\/LICS.2008.38"},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"Fiore, M., Hur, C.-K.: Term equational systems and logics. In: MFPS XXIV. LNCS, vol.\u00a0218, pp. 171\u2013192. Springer, Heidelberg (2008)","DOI":"10.1016\/j.entcs.2008.10.011"},{"key":"33_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/978-3-642-15205-4_26","volume-title":"CSL 2010","author":"M. Fiore","year":"2010","unstructured":"Fiore, M., Hur, C.-K.: Second-order equational logic. In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol.\u00a06247, pp. 320\u2013335. Springer, Heidelberg (2010)"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"Fiore, M., Plotkin, G., Turi, D.: Abstract syntax and variable binding. In: LICS 1999, pp. 193\u2013202 (1999)","DOI":"10.1109\/LICS.1999.782615"},{"key":"33_CR12","first-page":"153","volume":"11","author":"T. Fujiwara","year":"1959","unstructured":"Fujiwara, T.: On mappings between algebraic systems. Osaka Math. J.\u00a011, 153\u2013172 (1959)","journal-title":"Osaka Math. J."},{"key":"33_CR13","first-page":"253","volume":"12","author":"T. Fujiwara","year":"1960","unstructured":"Fujiwara, T.: On mappings between algebraic systems, II. Osaka Math. J.\u00a012, 253\u2013268 (1960)","journal-title":"Osaka Math. J."},{"key":"33_CR14","first-page":"80","volume-title":"Current Trends in Programming Methodology","author":"J. Goguen","year":"1978","unstructured":"Goguen, J., Thatcher, J., Wagner, E.: An initial algebra approach to the specification, correctness and implementation of abstract data types. In: Current Trends in Programming Methodology, vol.\u00a0IV, pp. 80\u2013149. Prentice-Hall, Englewood Cliffs (1978)"},{"key":"33_CR15","first-page":"437","volume":"172","author":"M. Hyland","year":"2007","unstructured":"Hyland, M., Power, J.: The category theoretic understanding of universal algebra: Lawvere theories and monads. ENTCS\u00a0172, 437\u2013458 (2007)","journal-title":"ENTCS"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"Knuth, D., Bendix, P.: Simple word problems in universal algebras. In: Computational Problems in Abstract Algebra, pp. 263\u2013297 (1970)","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"Linton, F.: Some aspects of equational theories. In: Proc. Conf. on Categorical Algebra at La Jolla, pp. 84\u201395 (1966)","DOI":"10.1007\/978-3-642-99902-4_3"},{"key":"33_CR18","unstructured":"Lawvere, F.W.: Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the context of Functorial Semantics of Algebraic Theories. Republished in: Reprints in TAC\u00a0(5), pp. 1\u2013121 (2004)"},{"key":"33_CR19","volume-title":"IFIP Congress 1962","author":"J. McCarthy","year":"1963","unstructured":"McCarthy, J.: Towards a mathematical science of computation. In: IFIP Congress 1962. North-Holland, Amsterdam (1963)"},{"key":"33_CR20","unstructured":"Plotkin, G.: Binding algebras: A step from universal algebra to type theory. Invited talk at RTA 1998 (1998)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2010"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15155-2_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T12:31:19Z","timestamp":1740400279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15155-2_33"}},"subtitle":["(Extended Abstract)"],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642151545","9783642151552"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15155-2_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}