Résultats de complétude pour des classes de types du système AF2 (1998)

by Samir Farkh , Karim Nour , Lama Equipe De Logique , Université De Savoie
Venue:Theoretical Informatics and Applications
Citations:7 - 2 self