Telecharger Cours

Towards an efficient and formally-verified convertibility checker

cours intéressant couvrant l'essen- tiel des accélérateurs. Le cours, portant sur la théorie, a commencé par une introduction aux focalisations faible et ...



Download