{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:39:14Z","timestamp":1743039554512,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662530412"},{"type":"electronic","value":"9783662530429"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53042-9_2","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T13:36:04Z","timestamp":1470404164000},"page":"19-40","source":"Crossref","is-referenced-by-count":1,"title":["Types from Frames as Finite Automata"],"prefix":"10.1007","author":[{"given":"Tim","family":"Fernando","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1017\/S0140525X99002149","volume":"22","author":"L Barsalou","year":"1999","unstructured":"Barsalou, L.: Perceptual symbol systems. Behav. Brain Sci. 22, 577\u2013660 (1999)","journal-title":"Behav. Brain Sci."},{"key":"2_CR2","series-title":"Synthese Library","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-94-015-8242-1_2","volume-title":"Diamonds and Defaults","author":"P Blackburn","year":"1993","unstructured":"Blackburn, P.: Modal logic and attribute value structures. In: de Rijke, M. (ed.) Diamonds and Defaults. Synthese Library, vol. 229, pp. 19\u201365. Springer, Netherlands (1993)"},{"issue":"4","key":"2_CR3","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"J Brzozowski","year":"1964","unstructured":"Brzozowski, J.: Derivatives of regular expressions. J. ACM 11(4), 481\u2013494 (1964)","journal-title":"J. ACM"},{"key":"2_CR4","volume-title":"Regular Algebra and Finite Machines","author":"JH Conway","year":"1971","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, London (1971)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Cooper, R.: Type theory and semantics in flux. In: Philosophy of Linguistics, pp. 271\u2013323. North-Holland (2012)","DOI":"10.1016\/B978-0-444-51747-0.50009-3"},{"key":"2_CR6","unstructured":"Cooper, R., Ranta, A.: Natural languages as collections of resources. In: Language in Flux: Dialogue Coordination, Language Variation, Change and Evolution, pp. 109\u2013120. College Publications, London (2008)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Davidson, D.: The logical form of action sentences. In: The Logic of Decision and Action, pp. 81\u201395. University of Pittsburgh Press (1967)","DOI":"10.2307\/jj.13027259.6"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Fernando, T.: Incremental semantic scales by strings. In: Proceedings of EACL 2014 Workshop on Type Theory and Natural Language Semantics, pp. 63\u201371. ACL (2014)","DOI":"10.3115\/v1\/W14-1408"},{"key":"2_CR9","volume-title":"The Handbook of Contemporary Semantic Theory","author":"T Fernando","year":"2015","unstructured":"Fernando, T.: The semantics of tense and aspect: a finite-state perspective. In: Lappin, S., Fox, C. (eds.) The Handbook of Contemporary Semantic Theory, 2nd edn. Wiley, New York (2015)","edition":"2"},{"key":"2_CR10","unstructured":"Fillmore, C.: Frame semantics. In: Linguistics in the Morning Calm, pp. 111\u2013137. Hanshin Publishing Co., Seoul (1982)"},{"issue":"1","key":"2_CR11","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"issue":"1","key":"2_CR12","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for non-determinism and concurrency. J. ACM 32(1), 137\u2013161 (1985)","journal-title":"J. ACM"},{"key":"2_CR13","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J Hopcroft","year":"1979","unstructured":"Hopcroft, J., Ullman, J.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)"},{"issue":"2","key":"2_CR14","doi-asserted-by":"crossref","first-page":"267","DOI":"10.15398\/jlm.v1i2.61","volume":"1","author":"L Kallmeyer","year":"2013","unstructured":"Kallmeyer, L., Osswald, R.: Syntax-driven semantic frame composition in lexicalized tree adjoining grammars. J. Lang. Model. 1(2), 267\u2013330 (2013)","journal-title":"J. Lang. Model."},{"key":"2_CR15","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-319-01541-5_2","volume-title":"Frames and Concept Types","author":"S L\u00f6bner","year":"2014","unstructured":"L\u00f6bner, S.: Evidence for frames from human language. In: Gamerschlag, T., Gerland, D., Osswald, R., Petersen, W. (eds.) Frames and Concept Types. Studies in Linguistics and Philosophy, vol. 94, pp. 23\u201367. Springer, Switzerland (2014)"},{"key":"2_CR16","unstructured":"Muskens, R.: Data semantics and linguistic semantics. In: The Dynamic, Inquisitive, and Visionary Life of $$\\phi , ?\\phi $$ , and $$\\Diamond \\phi $$ : A Festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman, pp. 175\u2013183. Amsterdam (2013)"},{"key":"2_CR17","unstructured":"Osswald, R.: Semantics for attribute-value theories. In: Proceedings of Twelfth Amsterdam Colloquium, pp. 199\u2013204. Amsterdam (1999)"},{"key":"2_CR18","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/978-3-319-01541-5_11","volume-title":"Frames and Concept Types","author":"W Petersen","year":"2014","unstructured":"Petersen, W., Osswald, T.: Concept composition in frames: focusing on genitive constructions. In: Gamerschlag, T., Gerland, D., Osswald, R., Petersen, W. (eds.) Frames and Concept Types. Studies in Linguistics and Philosophy, vol. 94, pp. 243\u2013266. Springer, Switzerland (2014)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/BFb0055624","volume-title":"CONCUR \u201998 Concurrency Theory","author":"JJMM Rutten","year":"1998","unstructured":"Rutten, J.J.M.M.: Automata and coinduction (an exercise in coalgebra). In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 194\u2013218. Springer, Heidelberg (1998)"},{"issue":"2","key":"2_CR20","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","author":"A Tarlecki","year":"1991","unstructured":"Tarlecki, A., Burstall, R., Goguen, J.: Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories. Theoret. Comput. Sci. 91(2), 239\u2013264 (1991)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR21","unstructured":"Veltman, F.: Logics for conditionals. Ph.D. dissertation, University of Amsterdam (1985)"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53042-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,18]],"date-time":"2024-06-18T19:00:16Z","timestamp":1718737216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53042-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662530412","9783662530429"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53042-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}