Five axioms of alpha-conversion (1996)

by Andrew D. Gordon , Tom Melham
Venue:Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL
Citations:51 - 0 self

Document Versions

Five axioms of alpha-conversion –Andrew D. Gordon, Tom Melham — 1996 — Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL
Five Axioms of Alpha-Conversion –Andrew Gordon, Tom Melham — 1996 — Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL
Five Axioms of Alpha-Conversion –Andrew D. Gordon, T. Melham — 1996 — Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL