8736 articles  [version française]
.:. Browse > By authors > Asperti .:.
2 documents ordered by :

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]