{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T20:15:31Z","timestamp":1775592931908,"version":"3.50.1"},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2005,7,15]],"date-time":"2005-07-15T00:00:00Z","timestamp":1121385600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2005,8]]},"abstract":"<jats:p>We investigate a new denotational model of linear logic based on the purely relational model. In this semantics, webs are equipped with a notion of \u2018finitary\u2019 subsets satisfying a closure condition and proofs are interpreted as finitary sets. In spite of a formal similarity, this model is quite different from the usual models of linear logic (coherence semantics, hypercoherence semantics, the various existing game semantics\u2026). In particular, the standard fix-point operators used for defining the <jats:italic>general<\/jats:italic> recursive functions <jats:italic>are not<\/jats:italic> finitary, although the primitive recursion operators are. This model can be considered as a discrete analogue of the K\u00f6the space semantics introduced in a previous paper: we show how, given a field, each finiteness space gives rise to a vector space endowed with a <jats:italic>linear topology<\/jats:italic>, a notion introduced by Lefschetz in 1942, and we study the corresponding model where morphisms are linear continuous maps (a version of Girard's quantitative semantics with coefficients in the field). In this way we obtain a new model of the recently introduced <jats:italic>differential lambda-calculus<\/jats:italic>.<\/jats:p>","DOI":"10.1017\/s0960129504004645","type":"journal-article","created":{"date-parts":[[2005,7,19]],"date-time":"2005-07-19T10:59:33Z","timestamp":1121770773000},"page":"615-646","source":"Crossref","is-referenced-by-count":87,"title":["Finiteness spaces"],"prefix":"10.1017","volume":"15","author":[{"given":"THOMAS","family":"EHRHARD","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2005,7,15]]},"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129504004645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T19:13:43Z","timestamp":1553886823000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129504004645\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,15]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["S0960129504004645"],"URL":"https:\/\/doi.org\/10.1017\/s0960129504004645","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7,15]]}}}