Preprint, McGill University. Danos, V. (1990) La logique lin'eaire appliqu'ee `a l"etude de divers processus de normalisation et principalement du -calcul. Doctoral dissertation, Universit'e de Paris.  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
! and ? -- Storage as tensorial strength - R. F. Blute, J. R.B. Cockett.. (1996) (Correct)
No context found.
Preprint, McGill University. Danos, V. (1990) La logique lin'eaire appliqu'ee `a l"etude de divers processus de normalisation et principalement du -calcul. Doctoral dissertation, Universit'e de Paris.
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