PREUVES, PROGRAMMES et SYSTÈMES
Consultation
Liste des articles
Liste par année
Liste par domaine
Liste par auteurs
Rechercher
302 articles – 345 Notices
[english version]
.:.
Consultation
>
Liste par auteurs
> Asperti .:.
1 document
From Type Theory to Morphological Complexity. Special issue of Information and Computation, volume 207(5).
Amadio R. M., Asperti A., Castagna G.
(2009) 543-669 [hal-00694647 - version 1]