Download citation

Résultats de complétude pour des classes de types du système $\mathcal {AF}2$

RAIRO-Theor. Inf. Appl., 31 6 (1997) 513-537
DOI: https://doi.org/10.1051/ita/1997310605131