Codage de la logique du premier ordre polymorphe multi-sortée dans la logique sans sortes (2006)

by S Lescuyer
Venue:Master’s thesis, Master Parisien de Recherche en Informatique