J.-Y. Girard. On denotational completeness. manuscript, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Coherent Banach Spaces : A Continuous Denotational Semantics - Jean-Yves Girard Institut (1996) (8 citations) Self-citation (Girard) (Correct)
....; what do they mean, how can they be used Can we connect this with some probabilistic intuitions concerning non determinism This has to be related with completeness issues, i.e. to which extent can we formulate a denotational completeness theorem w.r.t. our semantics : our recent paper [8] presents a general framework which yields completeness (i.e. the statement that only logical operations can be implemented, which requires some restriction on the shape of implementations) essentially by replacing spaces by A free modules over a comonoid B, and this should adapt, mutatis ....
J.-Y. Girard. On denotational completeness. manuscript, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC