Five Axioms of Alpha−Conversion
Andrew D. Gordon and Tom Melham
Book Title
Theorem Proving in Higher Order Logics: 9th International Conference‚ TPHOLs'96: Turku‚ Finland‚ August 26–30‚ 1996: Proceedings
Editor
J. von Wright and J. Grundy and J. Harrison
ISBN
3−540−61587−3
ISSN
0302−9743
Pages
173–190
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
1125
Year
1996