Tim Porter, Letter to the authors and Rajeev Gore, August 04th 1999, Available from T. Porter or the authors. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
On the Geometry of Intuitionistic S4 Proofs - Goubault-Larrecq, Goubault (2001) (Correct)
....Bierman and de Paiva considered non strict CS4 categories [7] We shall only need the strict variant; this will make our exposition simpler. In particular b with the comonad of De nition 49 is a strict CS4 category. The functor on b is related to Duskin and Illusie s d ecalage functor [43]. Standardly, d ecalage is dual to . For every a.s. set K, the converse K of K is obtained by letting ( K) q =K q , i K q = q i K q , s i K q =s q i K q . That is, K is obtained from K by reversing the order of faces. Then K is the converse of K. If K in a ....
Tim Porter, Letter to the authors and Rajeev Gore, August 04th 1999, Available from T. Porter or the authors.
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