{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T23:51:33Z","timestamp":1648857093839},"reference-count":10,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2012,5,1]],"date-time":"2012-05-01T00:00:00Z","timestamp":1335830400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2016,5,1]],"date-time":"2016-05-01T00:00:00Z","timestamp":1462060800000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1016\/j.jcss.2011.08.005","type":"journal-article","created":{"date-parts":[[2011,8,14]],"date-time":"2011-08-14T21:31:08Z","timestamp":1313357468000},"page":"960-969","source":"Crossref","is-referenced-by-count":0,"title":["When are different type-logical semantic definitions defining equivalent meanings?"],"prefix":"10.1016","volume":"78","author":[{"given":"Nissim","family":"Francez","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/j.jcss.2011.08.005_br0010","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00350139","article-title":"Generalized quantifiers and natural language","volume":"4","author":"Barwise","year":"1981","journal-title":"Linguist. Philos."},{"key":"10.1016\/j.jcss.2011.08.005_br0020","series-title":"Proceedings of Sinn und Bedeutung 11","article-title":"A modular approach to intensionality","author":"Ben-Avi","year":"2006"},{"key":"10.1016\/j.jcss.2011.08.005_br0030","series-title":"Basic Simple Type Theory","author":"Hindley","year":"1997"},{"key":"10.1016\/j.jcss.2011.08.005_br0040","series-title":"Boolean Semantics for Natural Language","author":"Keenan","year":"1985"},{"key":"10.1016\/j.jcss.2011.08.005_br0050","series-title":"Handbook of Logic and Language","first-page":"93","article-title":"Categorial type logics","author":"Moortgat","year":"1997"},{"key":"10.1016\/j.jcss.2011.08.005_br0060","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00635639","article-title":"A relational formulation of the theory of types","volume":"12","author":"Muskens","year":"1989","journal-title":"Linguist. Philos."},{"issue":"1","key":"10.1016\/j.jcss.2011.08.005_br0070","doi-asserted-by":"crossref","first-page":"98","DOI":"10.2178\/jsl\/1174668386","article-title":"Intensional models for the theory of types","volume":"72","author":"Muskens","year":"2007","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/j.jcss.2011.08.005_br0080","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1090\/S0002-9947-1959-0107600-8","article-title":"Model theory for the higher order predicate calculus","volume":"92","author":"Orey","year":"1959","journal-title":"Trans. Amer. Math. Soc."},{"issue":"2","key":"10.1016\/j.jcss.2011.08.005_br0090","first-page":"257","article-title":"Hyperintensionality","volume":"18","author":"Pollard","year":"2008","journal-title":"J. Log. Lang. Inf."},{"key":"10.1016\/j.jcss.2011.08.005_br0100","article-title":"Lectures on the Curry\u2013Howard Isomorphism","author":"Sorensen","year":"2006"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0022000011000845?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0022000011000845?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,11,30]],"date-time":"2018-11-30T19:50:17Z","timestamp":1543607417000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000011000845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["S0022000011000845"],"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1016\/j.jcss.2011.08.005","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[2012,5]]}}}