| 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. |
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