Avis
Aucun avis pour le moment
Soyez le premier à donner votre avis sur ce livre et partagez vos pensées
Se connecter pour évaluer
Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Pas encore d'évaluations