Free Access
Systèmes de déduction pour les arbres et les schémas de programmes (I) p. 247
Published online: 01 February 2017
Free Access to the whole issue