Thomas Ehrhard. On Kothe sequence spaces and linear logic. Downloadable at http://iml.univ-mrs.fr/ftp/ehrhard/kothe.ps, 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Finiteness Spaces - Ehrhard (2001) Self-citation (Ehrhard) (Correct)
....existing game semantics : in particular, the usual fixpoint operators used for defining (e.g. in PCF) the general recursive functions are not finitary, although the primitive recursion operators are. This model can be considered as a discrete version of the Kothe space model presented in [Ehr00]. We also extend this semantics to the second order, following methods developed by A. Bruasse Bac in [Bac00] Introduction The simplest denotational model of linear logic is doubtlessly the category of sets and relations. There, the additive operations are interpreted as the disjoint sum of ....
Thomas Ehrhard. On Kothe sequence spaces and linear logic. IML technical report, submitted for publication, 2000.
The Anatomy of Innocence - Danos, Harmer (2001) (1 citation) (Correct)
No context found.
Thomas Ehrhard. On Kothe sequence spaces and linear logic. Downloadable at http://iml.univ-mrs.fr/ftp/ehrhard/kothe.ps, 2000.
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