{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T22:57:45Z","timestamp":1776553065385,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540605799","type":"print"},{"value":"9783540477709","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60579-7_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:42:41Z","timestamp":1330288961000},"page":"162-182","source":"Crossref","is-referenced-by-count":9,"title":["Syntactic categories in the language of mathematics"],"prefix":"10.1007","author":[{"given":"Aarne","family":"Ranta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"9_CR1","unstructured":"Yehoshua Bar-Hillel. On categorial and phrase structure grammars. The Bulletin of the Research Council of Israel 9F, pages 1\u201316, 1960. Reprinted in Y. Bar-Hillel, Language and Information, pages 99\u2013115. Addison-Wesley Publishing Company and the Jerusalem Academic Press, Jerusalem, 1964."},{"key":"9_CR2","doi-asserted-by":"crossref","DOI":"10.1515\/9783112316009","volume-title":"Syntactic Structures","author":"N. Chomsky","year":"1957","unstructured":"Noam Chomsky. Syntactic Structures. Mouton, The Hague, 1957."},{"key":"9_CR3","volume-title":"Aspects of the Theory of Syntax","author":"N. Chomsky","year":"1965","unstructured":"Noam Chomsky. Aspects of the Theory of Syntax. The M.I.T. Press, Cambridge (Ma.), 1965."},{"key":"9_CR4","unstructured":"Thierry Coquand. Pattern matching with dependent types. Informal proceedings of the Logical Frameworks Workshop held at B\u00e5stad in 1992."},{"key":"9_CR5","volume-title":"Begriffsschrift","author":"G. Frege","year":"1879","unstructured":"Gottlob Frege. Begriffsschrift. Louis Nebert, Halle A\/S, 1879."},{"key":"9_CR6","unstructured":"Petri M\u00e4enp\u00e4\u00e4. Semantical BNF. Manuscript, University of Helsinki, 1994. To appear."},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science 806","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-58085-9_78","volume-title":"Types for Proofs and Programs","author":"L. Magnusson","year":"1994","unstructured":"Lena Magnusson and Bengt Nordstr\u00f6m. The ALF Proof Editor and Its Proof Engine. In H. Barendregt and T. Nipkow, editors, Types for Proofs and Programs, pages 213\u2013237. Lecture Notes in Computer Science 806, Springer-Verlag, Heidelberg, 1994."},{"key":"9_CR8","volume-title":"Intuitionistic Type Theory","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"Per Martin-L\u00f6f. Intuitionistic Type Theory. Bibliopolis, Naples, 1984."},{"key":"9_CR9","volume-title":"Formal Philosophy","author":"R. Montague","year":"1974","unstructured":"Richard Montague. Formal Philosophy. Yale University Press, New Haven, 1974. Collected papers edited by Richmond Thomason."},{"key":"9_CR10","unstructured":"Jan von Plato. The axioms of constructive geometry. To appear in the Annals of Pure and Applied Logic."},{"key":"9_CR11","volume-title":"Type Theoretical Grammar","author":"A. Ranta","year":"1994","unstructured":"Aarne Ranta. Type Theoretical Grammar. Oxford University Press, Oxford, 1994a."},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science 806","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/3-540-58085-9_84","volume-title":"Types for Proofs and Programs","author":"A. Ranta","year":"1994","unstructured":"Aarne Ranta. Type theory and the informal language of mathematics. In H. Barendregt and T., Nipkow, editors, Types for Proofs and Programs, pages 352\u2013365. Lecture Notes in Computer Science 806, Springer-Verlag, Heidelberg, 1994b."}],"container-title":["Lecture Notes in Computer Science","Types for Proofs and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60579-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:25:49Z","timestamp":1619573149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60579-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540605799","9783540477709"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60579-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}