Verification de l'equivalence du pi-calcul dans HOL (1994)

View PDF

Download Links

by Otmane Ait-Mohamed