{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:07Z","timestamp":1725663187658},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100034"},{"type":"electronic","value":"9783540393467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10003-2_58","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:00:33Z","timestamp":1330189233000},"page":"38-50","source":"Crossref","is-referenced-by-count":3,"title":["Languages with reducing reflexive types"],"prefix":"10.1007","author":[{"given":"Egidio","family":"Astesiano","sequence":"first","affiliation":[]},{"given":"Gerardo","family":"Costa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"5_CR1","unstructured":"E.Astesiano, G.Costa, On algebraic semantics of polyadic recursive schemas, 2me Coll. Les Arbres en Alg\u00e8bre et en Programmation, Univ.of Lille, 1977, 29\u201383."},{"key":"5_CR2","unstructured":"=== Fully abstract semantics for nondeterministic \u03bb-s-calculi, 1979, to appear."},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner, J.B. Wright, Initial algebra semantics and continuous algebras, JACM, 24 (1977) 68\u201395.","journal-title":"JACM"},{"key":"5_CR4","unstructured":"G. Berry, S\u00e9quentialit\u00e9 de l'\u00e9valuation formelle des \u03bb-expressions, in B.Robinet ed. Trasformations des programmes (3me Coll. Int. sur la Programmation, Paris, 1978) Dunod, Paris 1978."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"=== Stable models of typed \u03bb-calculi, 5th ICALP, Udine 1978, Lecture Notes in C.S. 62, Springer, 72\u201389.","DOI":"10.1007\/3-540-08860-1_7"},{"key":"5_CR6","unstructured":"G.Berry, Mod\u00e8les compl\u00e8tement ad\u00e9quats et stables des \u03bb-calculs typ\u00e9s, Th\u00e8se d'Etat, Univ. Paris VII, 1977."},{"key":"5_CR7","first-page":"179","volume-title":"Formal language description languages for computer programming","author":"C. B\u00f6hm","year":"1966","unstructured":"C. B\u00f6hm, the CUCH as a formal and description language, in T.B. Steel ed. Formal language description languages for computer programming, North Holland, Amsterdam 1966, 179\u2013197."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"M.Coppo, M.Dezani-Ciancaglini, P.Sall\u00e9, Functional characterization of some semantic equalities inside \u03bb-calculus, 6th ICALP, Graz 1979, Lecture Notes in C.S. 71, Springer.","DOI":"10.1007\/3-540-09510-1_11"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"B.Courcelle, G.Kahn, J.Vuillemin, Algorithmes d'\u00e9quivalence et de r\u00e9duction \u00e0 des expressions minimales dans une classe d'\u00e9quations r\u00e9cursives simples, Rapport IRIA n. 37, 1973.","DOI":"10.1007\/978-3-662-21545-6_14"},{"key":"5_CR10","unstructured":"E.Egli, Typed meanings in Scott's \u03bb-calculus models, Symp. on \u03bb-calculus and computer science theory, Rome 1975, Lecture Notes in C.S. 37, Springer."},{"key":"5_CR11","unstructured":"E.Fehr, Lamda-calculus as control structures of programming languages, Report n.57, RWTH-Aachen, 1980."},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/356589.356592","volume":"3","author":"H. F. Ledgard","year":"1971","unstructured":"H.F. Ledgard, Ten mini-languages: a study of topical issues in programming languages, Comp. Surv. 3 (1971) 115\u2013146.","journal-title":"Comp. Surv."},{"key":"5_CR13","unstructured":"D.J.Lehmann, Modes in Algol Y, in Implementation and design of algoritmic languages, J.Andr\u00e9, J.P.Ban\u00e2tre eds. IRIA, 1977, 111\u2013123."},{"key":"5_CR14","unstructured":"J.J.L\u00e9vy, Reductions correctes et optimales dans le \u03bb-calcul, Th\u00e8se d'Etat, Univ. Paris VII, 1978."},{"key":"5_CR15","unstructured":"R.Milner, L.Morris, M.Newey, A logic for computable functions with reflexive and polymorphic types, in Proving and improving programs, G.Huet, G.Kahn eds. (Coll. IRIA, Arc et Senans, 1975), IRIA, 1975."},{"key":"5_CR16","first-page":"157","volume":"80","author":"R. Milner","year":"1975","unstructured":"R. Milner, Processes, a mathematical model for computing agents, Studies in Logic 80, North Holland, 1975, 157\u2013174.","journal-title":"Studies in Logic"},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"===Fully abstract models of typed \u03bb-calculi, TCS 4 (1977) 1\u201322.","journal-title":"TCS"},{"key":"5_CR18","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G. Plotkin","year":"1977","unstructured":"G. Plotkin, LCF as a programming language, TCS 5 (1977) 223\u2013255.","journal-title":"TCS"},{"key":"5_CR19","unstructured":"J.C.Reynolds, Notes on a lattice theoretic approach to the theory of computation, Syracuse University, 1972."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"D.Scott, Data types as lattices, SIAM J. Comput. 5 (1976) n.3.","DOI":"10.1137\/0205037"},{"key":"5_CR21","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1137\/0205036","volume":"5","author":"C. P. Wadsworth","year":"1976","unstructured":"C.P. Wadsworth, The relation between computational and denotational properties of Scott's D\u221e model of the \u03bb-calculus, SIAM J. Comput. 5 (1976) 488\u2013521.","journal-title":"SIAM J. Comput."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10003-2_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:16Z","timestamp":1605643336000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}