Skip to main content
eScholarship
Open Access Publications from the University of California

Mathematical reasoning with higher-order anti-unifcation