34410 articles – 26935 Notices  [english version]
.:. Consultation > Par auteur > Asperti .:.
2 documents classés par :

fulltext access Interaction systems II : the practice of optimal reductions
Asperti A., Laneve C.
N° RR-2001 (1993) [inria-00074671 - version 1]
fulltext access Interaction systems I : the theory of optimal reductions
Asperti A., Laneve C.
N° RR-1748 (1992) [inria-00076988 - version 1]