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

Cached

Download Links

by Otmane Ait-Mohamed