Five Axioms of Alpha−Conversion

Bibliographic Details
Main Authors: Gordon, A, Melham, T
Format: Conference item
Published: Springer−Verlag 1996

Similar Items