{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T12:07:50Z","timestamp":1778587670384,"version":"3.51.4"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Computing"],"published-print":{"date-parts":[[2000,5]]},"DOI":"10.1023\/a:1009913122021","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T19:25:11Z","timestamp":1040585111000},"page":"139-178","source":"Crossref","is-referenced-by-count":14,"title":["A Coherence Space of Rational Intervals for a Construction of IR"],"prefix":"10.1007","volume":"6","author":[{"given":"Gra\u00e7aliz P.","family":"Dimuro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ant\u00f4nio Carlos Da R.","family":"Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dalcidio M.","family":"Claudio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"261619_CR1","volume-title":"Computational Foundation of Interval Mathematics","author":"B. M. Aci\u00f3ly","year":"1991","unstructured":"Aci\u00f3ly, B. M.: Computational Foundation of Interval Mathematics, PhD Thesis, CPGCC\/UFRGS, Porto Alegre, 1991."},{"key":"261619_CR2","unstructured":"Aci\u00f3ly, B., Claudio, D. M., and Dimuro, G. P.: Toward a Computational Interval Mathematics, in: Proceedings of the International Symposium On Computer Arithmetic and Scientific Computing, Oldenburg, 1991."},{"key":"261619_CR3","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, New York, 1983."},{"key":"261619_CR4","doi-asserted-by":"crossref","unstructured":"Berry, G.: Stable Models of Typed Lambda Calculi, in: Proceedings of 5th ICALP Conference, Udine, 1978.","DOI":"10.1007\/3-540-08860-1_7"},{"key":"261619_CR5","volume-title":"A Global Constructive Representation for Second Order Ordered Systems in Bi-Strutured Interval Coherence Spaces, with an Application in Interval Mathematics","author":"G. P. Dimuro","year":"1998","unstructured":"Dimuro, G. P.: A Global Constructive Representation for Second Order Ordered Systems in Bi-Strutured Interval Coherence Spaces, with an Application in Interval Mathematics, PhD Thesis, CPGCC\/UFRGS, Porto Alegre, 1998."},{"key":"261619_CR6","first-page":"553","volume-title":"Proceedings of the International Amsze Conference Information & System","author":"G. P. Dimuro","year":"1991","unstructured":"Dimuro, G. P., Aci\u00f3ly, B. M., and Claudio, D. M.: About Range of Functions\u2014A Domain Approach, in: Proceedings of the International Amsze Conference Information & System, v. 2, Hangzhou, China, 1991, International Academic Publishers, Beijing, pp. 553-556."},{"key":"261619_CR7","unstructured":"Dimuro, G. P. and Costa, A. C. R.: A Topological Characterization for the Bi-Structured Interval Coherence Space, in: First Brazilian Workshop on Formal Methods, Porto Alegre, 1998, pp. 152-156."},{"key":"261619_CR8","unstructured":"Dimuro, G. P., Costa, A. C. R., and Claudio, D. M.: A Coherence Space of Rational Intervals, in: Proceedings of Second Workshop on Computer Arithmetic, Interval and Symbolic Computation, Recife, 1996, pp. 26-28."},{"key":"261619_CR9","unstructured":"Dimuro, G. P., Costa, A. C. R., and Claudio, D. M.: A Measure System for the Bi-Structured Coherence Space of Rational Intervals, in: Extended Abstracts for Interval'98\u2014International Conference on Interval Methods and their Applications on Global Optimization, Nanjing, 1998, pp. 21-25."},{"key":"261619_CR10","unstructured":"Dimuro, G. P., Costa, A. C. R., and Claudio, D. M.: Global Representation of Second Order Ordered Systems, in: Second Brazil Joint USA Workshop on Formal Foundations of Software Systems, New Orleans, 1997."},{"key":"261619_CR11","unstructured":"Dimuro, G. P., Costa, A. C. R., Claudio, D. M, and Reiser, R. H. S.: Representing Data Types for Scientific Computation Using Bi-Structured Coherence Spaces, in: 3rd Workshop on Computation and Approximation, Birmingham, 1997."},{"key":"261619_CR12","doi-asserted-by":"crossref","unstructured":"Edalat, A.: Domains for Computation in Mathematics, Physics and Exact Real Arithmetic, in: Summer School on New Paradigms for Comp. on Classical Spaces\/3rd Workshop on Computation and Approximation, Birmingham, 1997.","DOI":"10.2307\/421098"},{"issue":"1","key":"261619_CR13","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1006\/inco.1995.1096","volume":"120","author":"A. Edalat","year":"1995","unstructured":"Edalat, A.: Dynamical Systems, Measures and Fractals via Domain Theory, Information and Computation\n120(1) (1995), pp. 32-48.","journal-title":"Information and Computation"},{"issue":"2","key":"261619_CR14","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1006\/inco.1996.0014","volume":"124","author":"A. Edalat","year":"1996","unstructured":"Edalat, A.: Power Domains and Iterated Functions Systems, Information and Computation\n124(2) (1996), pp. 182-197.","journal-title":"Information and Computation"},{"issue":"1","key":"261619_CR15","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0304-3975(95)00250-2","volume":"162","author":"M. H. Escard\u00f3","year":"1996","unstructured":"Escard\u00f3, M. H.: PCF Extended with Real Numbers, Theoretical Computer Science\n162(1) (1996), pp. 79-115.","journal-title":"Theoretical Computer Science"},{"key":"261619_CR16","volume-title":"Scott Domain Theory as a Foundation for Interval Analysis","author":"M. H. Escard\u00f3","year":"1993","unstructured":"Escard\u00f3, M. H. and Claudio, D. M.: Scott Domain Theory as a Foundation for Interval Analysis, CPGCC\/UFRGS, Porto Alegre, 1993."},{"key":"261619_CR17","volume-title":"Interval Orders and Interval Graphs","author":"P. Fishburn","year":"1985","unstructured":"Fishburn, P.: Interval Orders and Interval Graphs, Wiley, New York, 1985."},{"key":"261619_CR18","volume-title":"A Functional Approach to Real Number Computation","author":"P. Gianantonio","year":"1993","unstructured":"Gianantonio, P.: A Functional Approach to Real Number Computation, University of Pisa, Pisa, 1993."},{"issue":"1","key":"261619_CR19","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1006\/inco.1996.0046","volume":"127","author":"P. Gianantonio","year":"1996","unstructured":"Gianantonio, P.: Real Number Computability and Domain Theory, Information and Computation\n127(1) (1996), pp. 11-25.","journal-title":"Information and Computation"},{"key":"261619_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. Girard","year":"1987","unstructured":"Girard, J. Y.: Linear Logic, Theoretical Computer Science\n50 (1987), pp. 1-102.","journal-title":"Theoretical Computer Science"},{"key":"261619_CR21","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0304-3975(86)90044-7","volume":"45","author":"J. Y. Girard","year":"1986","unstructured":"Girard, J. Y.: The System F of Variable Types, Fifteen Years Later, Theoretical Computer Science\n45 (1986), pp. 159-192.","journal-title":"Theoretical Computer Science"},{"key":"261619_CR22","volume-title":"Proofs and Types","author":"J. Y. Girard","year":"1989","unstructured":"Girard, J. Y., Lafont, Y., and Taylor, P.: Proofs and Types, Cambridge University Press, Cambridge, 1989."},{"key":"261619_CR23","volume-title":"Semantics of Programming Languages, Structures and Techniques","author":"C. A. Gunter","year":"1992","unstructured":"Gunter, C. A.: Semantics of Programming Languages, Structures and Techniques, MIT, New York, 1992."},{"key":"261619_CR24","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R. E. Moore","year":"1979","unstructured":"Moore, R. E.: Methods and Applications of Interval Analysis, SIAM, Philadelphia, 1979."},{"issue":"1","key":"261619_CR25","first-page":"233","volume":"5","author":"G. Plotkin","year":"1977","unstructured":"Plotkin, G.: LCF Considered as a Programming Language, Theoretical Computer Science\n5(1) (1977), pp. 233-255.","journal-title":"Theoretical Computer Science"},{"key":"261619_CR26","unstructured":"Plotkin, G.: Post-Graduate Lecture Notes in Advanced Domain Theory, Department of Computer Science\/University of Edinburgh, Edinburgh, 1981."},{"key":"261619_CR27","volume-title":"Exact Real Arithmetic Using Mobilus Transformations","author":"P. Potts","year":"1998","unstructured":"Potts, P.: Exact Real Arithmetic Using Mobilus Transformations, PhD Thesis, Impirial College, London, 1998."},{"key":"261619_CR28","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BFb0073967","volume-title":"Continuous Lattices","author":"D. Scott","year":"1972","unstructured":"Scott, D.: Continuous Lattices, in: Lecture Notes in Mathematics\n274, Springer, Berlin etc., 1972, pp. 97-136."},{"issue":"1","key":"261619_CR29","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott, D.: Data Types as Lattices, SIAM Journal of Computing\n5(1) (1976), pp. 522-587.","journal-title":"SIAM Journal of Computing"},{"key":"261619_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1007\/BFb0012801","volume-title":"Domains for Denotational Semantics","author":"D. Scott","year":"1982","unstructured":"Scott, D.: Domains for Denotational Semantics, in: Lecture Notes in Computer Science\n140, Springer, Berlin etc., 1982, pp. 577-613."},{"key":"261619_CR31","first-page":"65","volume-title":"Formal Semantics and Programming Languages","author":"D. Scott","year":"1972","unstructured":"Scott, D.: Lattice Theory, Data Types and Semantics, in: Formal Semantics and Programming Languages, Prentice Hall, Englewood Cliffs, 1972, pp. 65-106"},{"issue":"1","key":"261619_CR32","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"M. B. Smyth","year":"1977","unstructured":"Smyth, M. B.: Effectively Given Domains, Theorical Computer Science\n5(1) (1977), pp. 257-274.","journal-title":"Theorical Computer Science"},{"issue":"1","key":"261619_CR33","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0304-3975(95)00053-Y","volume":"151","author":"M. B. Smyth","year":"1995","unstructured":"Smyth, M. B.: Semi-Metrics, Closure Spaces and Digital Topology, Theoretical Computer Science\n151(1) (1995), pp. 257-276.","journal-title":"Theoretical Computer Science"},{"key":"261619_CR34","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139166386","volume-title":"Mathematical Theory of Domains","author":"V. Stoltenberg-Hansen","year":"1994","unstructured":"Stoltenberg-Hansen, V., Lindstrom, I., and Griffor, E. R.: Mathematical Theory of Domains, Cambridge University Press, Cambridge, 1994."},{"key":"261619_CR35","series-title":"Lecture Notes","volume-title":"Lectures on Linear Logic","author":"A. S. Troelstra","year":"1992","unstructured":"Troelstra, A. S.: Lectures on Linear Logic, CSLI\/Leland Stanford Junior University, Stanford (Lecture Notes 29), 1992."},{"issue":"1","key":"261619_CR36","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0304-3975(92)90215-2","volume":"93","author":"G. Zhang","year":"1996","unstructured":"Zhang, G.: Stable Neighbourhoods, Theoretical Computer Science\n93(1) (1996), pp. 143-157.","journal-title":"Theoretical Computer Science"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009913122021.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009913122021\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009913122021.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:37:54Z","timestamp":1754473074000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009913122021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,5]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,5]]}},"alternative-id":["261619"],"URL":"https:\/\/doi.org\/10.1023\/a:1009913122021","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,5]]}}}