34244 articles – 26870 Notices  [english version]
.:. Consultation > Par auteur > Anderson .:.
2 documents classés par :

fulltext access Representing proof transformations for program optimization
Anderson P.
N° RR-2229 (1994) [inria-00074441 - version 1]
fulltext access Program extraction in a logical framework setting
Anderson P.
N° RR-2261 (1994) [inria-00074410 - version 1]