Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading.

Arve Gengelbach, Tjark Weber

Browse the full ICTAC paper archive.