{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:46Z","timestamp":1725457006760},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540074163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029525","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T14:42:57Z","timestamp":1133880177000},"page":"177-191","source":"Crossref","is-referenced-by-count":0,"title":["On the description of time varying systems in \u03bb-calculus"],"prefix":"10.1007","author":[{"given":"Giorgio","family":"Ausiello","sequence":"first","affiliation":[]}],"member":"297","reference":[{"unstructured":"B\u00f6hm, C.; W. Gross, Introduction to the CUCH, in Automata theory, Caianiello Ed., Academic Press, 1966.","key":"10_CR1"},{"unstructured":"B\u00f6hm, C., The CUCH as a formal and description language, in Formal languages description languages for computer programming. North Holland, 1966.","key":"10_CR2"},{"doi-asserted-by":"crossref","unstructured":"Landin, P.J., A correspondence between ALGOL 60 and Church's lambda notation, Communications ACM, 8, 1965","key":"10_CR3","DOI":"10.1145\/363744.363749"},{"unstructured":"Ausiello, G.; C. B\u00f6hm, Applicazione del linguaggio CUCH alla programmazione delle macchine analogiche sequenziali, Atti del IX Convegno della Automazione e Strumentazione, FAST, 1966.","key":"10_CR4"},{"unstructured":"Morris, J.H., Lambda calculus models of programming languages, Ph. D. Thesis, MIT, 1968.","key":"10_CR5"},{"unstructured":"Orgass, R.J.; F.B. Fitch, A theory of computing machines; A theory of programming languages, Studium Generale, 22, 1969.","key":"10_CR6"},{"unstructured":"Wegner, P., Programming languages, information structures and machine organization, Mc Graw-Hill, 1968.","key":"10_CR7"},{"doi-asserted-by":"crossref","unstructured":"Rescher, N.; A. Urquart, Temporal logic, Springer Verlag, 1971.","key":"10_CR8","DOI":"10.1007\/978-3-7091-7664-1"},{"unstructured":"Burstall, R.M., Program proving as hand simulation with a little induction, Proceedings of IFIP 74, 1974.","key":"10_CR9"},{"unstructured":"Batini, C., Time structures with a root and a sink: a completeness proof, to be published in Pubblicazioni dell'Istituto di Automatica, Univ. di Roma, 1974.","key":"10_CR10"},{"doi-asserted-by":"crossref","unstructured":"Salomaa, A., Parallelism in rewriting systems, in Automata, Languages and Programming, Lecture Notes in Computer Science 14, Springer Verlag, 1974","key":"10_CR11","DOI":"10.1007\/3-540-06841-4_87"},{"doi-asserted-by":"crossref","unstructured":"Fitch, F., Representation of sequential circuits in combinatory logic, Phil. of Science, 25, 1958","key":"10_CR12","DOI":"10.1086\/287616"},{"doi-asserted-by":"crossref","unstructured":"Lindenmayer, A., Developmental systems without cellular interactions, their languages and grammars, J. Theoretical Biology, 30, 1971","key":"10_CR13","DOI":"10.1016\/0022-5193(71)90002-6"},{"doi-asserted-by":"crossref","unstructured":"Skyum, S., On extensions of ALGOL-like languages, DAIMI Publications, University of Aarhus, 1974","key":"10_CR14","DOI":"10.7146\/dpb.v3i25.6444"},{"unstructured":"Open House in Unusual Automata Theory, DAIMI Publications, University of Aarhus, 1973","key":"10_CR15"},{"unstructured":"Salomaa, A., L-systems, Lecture Notes in Computer Science, Springer Verlag, 1974.","key":"10_CR16"}],"container-title":["Lecture Notes in Computer Science","\u03bb-Calculus and Computer Science Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0029525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T11:16:32Z","timestamp":1586603792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029525"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540074163"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0029525","relation":{},"subject":[]}}