Benton, B.N., G. Bierman, V. de Paiva, and M. Hyland "Term assignment for intuitionistic linear logic (preliminary report)", Preprint, University of Cambridge, 1992. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Fock Space: A Model of Linear Exponential Types - Blute, Panangaden, Seely (1994) (1 citation) (Correct)
....condition above is redundant, the comonoidal structure on A being induced by the isomorphisms of the second condition. However, the first condition is really the key point here, as may be seen from several generalizations of this definition, to the intuitionistic case without finite products in [BBPH], and to the weakly distributive case, again without finite products, BCS93] The main point here is that without products one replaces the second condition with the requirement that the cotriple (and the natural transformations ffl; ffi ) be comonoidal. And second, one ought not drown in the ....
Benton, B.N., G. Bierman, V. de Paiva, and M. Hyland "Term assignment for intuitionistic linear logic (preliminary report)", Preprint, University of Cambridge, 1992.
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