{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:37Z","timestamp":1725663877449},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:11:21Z","timestamp":1330258281000},"page":"629-639","source":"Crossref","is-referenced-by-count":1,"title":["A representation theorem for lambda abstraction algebras"],"prefix":"10.1007","author":[{"given":"Don","family":"Pigozzi","sequence":"first","affiliation":[]},{"given":"Antonino","family":"Salibra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"54_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L., Curien, P.L., Levy, J.J.: Explicit substitutions. Proc. 17th Conference POPL, San Francisco (1990)","DOI":"10.1145\/96709.96712"},{"key":"54_CR2","unstructured":"Adachi, T.: A categorical characterization of lambda calculus models. Research Report No. C-49, Dept. of Information Sciences, Tokio Institute of Technology (1983)"},{"key":"54_CR3","unstructured":"Barendregt, H.P.: The lambda calculus. Its syntax and semantics. Revised edition, North-Holland Publishing Co. (1985)"},{"key":"54_CR4","unstructured":"Beylin, I.D., Diskin, Z.B.: Lambda substitution algebras. This volume (1993)"},{"key":"54_CR5","unstructured":"Curien, P.L.: Categorical combinators, sequential algorithms and functional programming. Pitman Pub. (1986)"},{"key":"54_CR6","unstructured":"Diskin, Z.B.: Lambda term systems (submitted)."},{"key":"54_CR7","unstructured":"Krivine, J.L.: Lambda-Calcul, types et mod\u00e8les, Masson, Paris (1990)"},{"key":"54_CR8","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2307\/2273585","volume":"47","author":"N. Feldman","year":"1982","unstructured":"Feldman, N.: Axiomatization of polynomial substitution algebras. J. Symbolic Logic 47 (1982) 481\u2013492","journal-title":"J. Symbolic Logic"},{"key":"54_CR9","first-page":"255","volume":"43","author":"P. Halmos","year":"1956","unstructured":"Halmos, P.: Homogeneous locally finite polyadic Boolean algebras of infinite degree. Fund. Math. 43 (1956) 255\u2013325","journal-title":"Fund. Math."},{"key":"54_CR10","unstructured":"Henkin, L., Monk, J.D., Tarski, A.: Cylindric algebras, Parts I and II. North-Holland Publishing Co. (1971, 1985)"},{"key":"54_CR11","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1002\/malq.19800261902","volume":"26","author":"R. Hindley","year":"1980","unstructured":"Hindley, R., Longo, G.: Lambda-calculus models and extensionality. Zeit. f. Math. Logik u. Grund. der Math. 26 (1980) 289\u2013310","journal-title":"Zeit. f. Math. Logik u. Grund. der Math."},{"key":"54_CR12","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0019-9958(82)80087-9","volume":"52","author":"A. R. Meyer","year":"1982","unstructured":"Meyer, A.R.: What is a model of the lambda calculus ? Inform. Control 52 (1982) 87\u2013122","journal-title":"Inform. Control"},{"key":"54_CR13","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/BF00370684","volume":"50","author":"I. N\u00e9meti","year":"1991","unstructured":"N\u00e9meti, I.: Algebraizations of quantifier logics. An introductory overview. Studia Logica 50 (1991) 485\u2013569","journal-title":"Studia Logica"},{"key":"54_CR14","doi-asserted-by":"crossref","unstructured":"Obtulowicz, A., Wiweger, A.: Categorical, functorial, and algebraic aspects of the type-free lambda calculus. Banach Center Publications 9, Warsaw (1982)","DOI":"10.4064\/-9-1-399-422"},{"key":"54_CR15","unstructured":"Pigozzi, D., Salibra, A.: An introduction to lambda abstraction algebras (to appear)."},{"key":"54_CR16","unstructured":"Pigozzi, D., Salibra, A.: The abstract variable-binding calculus (Manuscript)."},{"key":"54_CR17","unstructured":"Pigozzi, D., Salibra, A.: Polyadic algebras over non-classical logics. In: Algebraic Logic, Banach Center Publications, Vol. 28, Polish Academy of Sciences (1993)."},{"key":"54_CR18","unstructured":"Salibra, A.: A general theory of algebras with quantifiers. In: Algebraic Logic, Proc. Conf. Budapest 1988 (Andr\u00e9ka, H., Monk, J.D., N\u00e9meti, I., eds.), Colloq. Math. Soc. J. Bolyai 54 North-Holland Publishing Co. (1991) 573\u2014620"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:45Z","timestamp":1605647325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}