{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:56Z","timestamp":1725456116029},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540112129"},{"type":"electronic","value":"9783540390473"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/bfb0025780","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:23:41Z","timestamp":1132377821000},"page":"137-149","source":"Crossref","is-referenced-by-count":1,"title":["Some observations on compositional semantics"],"prefix":"10.1007","author":[{"given":"Theo M. V.","family":"Janssen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"van Emde Boas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"ADJ (J.A. Goguen, J.W. Thatcher, E.G. Wagner & J.B. Wright), Initial algebra semantics and continuous algebra's, J. Assoc. Comput. Mach. 24 (1977) 68\u201395.","journal-title":"J. Assoc. Comput. Mach."},{"key":"11_CR2","unstructured":"ADJ (J.W. Thatcher, E.G. Wagner & J.B. Wright), Notes on algebraic fundamentals for theoretical computer science,\nin [5]."},{"key":"11_CR3","volume-title":"Classical many-sorted model theory to turn negative results on program schemes to positive","author":"H. Andreka","year":"1978","unstructured":"Andreka, H., I. Nemeti & I. Sain, Classical many-sorted model theory to turn negative results on program schemes to positive, Manuscript, Hungarian Acad. Sci. 1978."},{"key":"11_CR4","unstructured":"Andreka, H., I. Nemeti & I. Sain, Henkin-type model theory for first order dynamic logic, this volume."},{"key":"11_CR5","unstructured":"de Bakker, J.W. & J. van Leeuwen (eds.), Foundations of Computer Science III, part 2: Languages, logic, semantics, Math. Centre Tracts 109 (1979), Amsterdam."},{"key":"11_CR6","unstructured":"van Benthem, J.F.A.K., Universal algebra and model theory, two excursions on the border, rep. ZW 7908 dept. math. Univ. Groningen (1980)."},{"key":"11_CR7","first-page":"205","volume":"62","author":"H. Ehrig","year":"1978","unstructured":"Ehrig, H., H.J. Kreowski & P. Padawitz, Stepwise specification and implementation of abstract data types,\nin G. Ausiello & C. B\u00f6hm (eds.), Proc. ICALP 5, Udine Jul. 1978, Springer LCS 62 (1978) pp. 205\u2013226.","journal-title":"Springer LCS"},{"key":"11_CR8","first-page":"157","volume":"85","author":"H. Ehrig","year":"1980","unstructured":"Ehrig, H., H.J. Kreowski, J.W. Thatcher, E. Wagner & J. Wright, Parameterised data types in algebraic specification languages,\nin J.W. de Bakker & J. van Leeuwen (eds.), Proc. ICALP 7, Noordwijkerhout jul. 1980, Springer LCS 85 (1980),pp. 157\u2013168.","journal-title":"Springer LCS"},{"key":"11_CR9","unstructured":"van Emde Boas, P. & T.M.V. Janssen, The impact of Frege's Principle of compositionality for the semantics of programming and natural languages, in \"Begriffsschrift\" Proc. Jenaer Frege Conferenz Jena May 1979; Fr. Schiller Univ. (1979), pp. 110\u2013129."},{"key":"11_CR10","first-page":"55","volume-title":"Logical Investigations","author":"G. Frege","year":"1977","unstructured":"Frege, G. Compound thoughts (Gedankef\u00fcge),\nin P.T. Geach & R.H. Stoohoff (transl.), Logical Investigations. Gottlob Frege, Basil Blackwell, Oxford 1977, pp. 55\u201378."},{"key":"11_CR11","first-page":"282","volume":"52","author":"T.M.V. Janssen","year":"1977","unstructured":"Janssen, T.M.V. & P. van Emde Boas, On the proper treatment of referencing, dereferencing and assignment,\nin A. Salomaa & M. Steinby (eds.), Proc. ICALP 4, Turku Jul 1977, Springer LCS 52 (1977) 282\u2013300.","journal-title":"Springer LCS"},{"key":"11_CR12","first-page":"303","volume":"53","author":"T.M.V. Janssen","year":"1977","unstructured":"Janssen, T.M.V. & P. van Emde Boas, The Expressive Power of intensional logic in the semantics of programming languages,\nin J. Gruska (ed.), Proc. MFCS'77, Tatranska Lomnicka, Sep. 1977, Springer LCS 53 (1977), pp. 303\u2013311.","journal-title":"Springer LCS"},{"key":"11_CR13","unstructured":"Janssen, T.M.V., Foundations and applications of Montague Grammar, Ph.D. Thesis Univ. of Amsterdam, forthcomming, ed. Math. Centre Amsterdam."},{"key":"11_CR14","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-94-010-2557-7_7","volume":"40","author":"D. Lewis","year":"1972","unstructured":"Lewis, D., General semantics,\nin D. Davidson & G. Herman (eds.), Semantics of natural language, Synthese Library 40, Reidel, Dordrecht (1972), pp. 169\u2013248.","journal-title":"Semantics of natural language, Synthese Library"},{"key":"11_CR15","unstructured":"Markusz, Z. & M. Szots, On semantics of programming languages defined by universal algebraic tools, in Proc. Coll. Math. Logic in programming, Coll. Math. Soc. Janos Bolyai, North Holl. Publ. Co., to appear."},{"key":"11_CR16","first-page":"75","volume":"32","author":"A. Mazurkiewicz","year":"1975","unstructured":"Mazurkiewicz, A., Parallel recursive program schemes,\nin J. Becvar (ed.), Proc. MFCS'75, Marianske Lazne, Sep 1975, Springer LCS 32 (1975) pp. 75\u201387.","journal-title":"Springer LCS"},{"key":"11_CR17","first-page":"157","volume-title":"Logic Colloquium '73","author":"R. Milner","year":"1975","unstructured":"Milner, R., Processes: a mathematical model of computing agents,\nin H.E. Rose & J.C. Shepherdson (eds.), Logic Colloquium '73 (Bristol), North. Holl. Publ. Co. Amsterdam, 1975, pp. 157\u2013173."},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R. Montague","year":"1970","unstructured":"Montague, R., Universal Grammar, Theoria 36 (1970) 373\u2013398; reprinted in [25].","journal-title":"Theoria"},{"key":"11_CR19","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-94-010-2506-5_10","volume":"49","author":"R. Montague","year":"1973","unstructured":"Montague, R., The proper treatment of quantification in ordinar English,\nin K.J.J. Hintikka, J.M.E. Moravcsik & P. Suppes (eds.), Approaches to Natural Language, Synthese Library 49, Reidel, Dordrecht (1973), pp. 221\u2013242; reprinted in [25].","journal-title":"Approaches to Natural Language, Synthese Library"},{"volume-title":"Formal description of programming concepts","year":"1978","key":"11_CR20","unstructured":"Neuholt, E.J. (ed.), Formal description of programming concepts, Proc. IFIP working conference on formal description of programming concepts, St. Andrews, Canada 1977, North Holl. Publ. Co., Amsterdam 1978."},{"key":"11_CR21","first-page":"203","volume":"6","author":"B. Partee","year":"1975","unstructured":"Partee, B., Montague grammar and transformational grammar, Linguistic Enquiry 6 (1975) 203\u2013300.","journal-title":"Linguistic Enquiry"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Pratt, V.R., Dynamic Logic,\nin [5].","DOI":"10.1016\/S0049-237X(09)70196-X"},{"key":"11_CR23","series-title":"Courant Comp. Sci. Symp.","first-page":"1","volume-title":"Formal semantics of programming languages","author":"J.T. Schwartz","year":"1972","unstructured":"Schwartz, J.T., Semantic definition methods and the evolution of programming languages,\nin R. Rustin (ed.), Formal semantics of programming languages, Courant Comp. Sci. Symp. 2, Prentice Hall, Englewood Cliffs NJ. 1972, pp. 1\u201324."},{"key":"11_CR24","volume-title":"Denotational semantics: the Scott-Strachey approach to programming language theory","author":"J.E. Stoy","year":"1977","unstructured":"Stoy, J.E., Denotational semantics: the Scott-Strachey approach to programming language theory, MIT press, Cambridge Mass 1977."},{"volume-title":"Formal Philosophy. Selected papers of Richard Montague","year":"1974","key":"11_CR25","unstructured":"Thomason, R.H., (ed.), Formal Philosophy. Selected papers of Richard Montague, Yale Univ. Press, New Haven Conn. 1974."}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025780","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T17:47:38Z","timestamp":1549302458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025780"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540112129","9783540390473"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0025780","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}