Benutzer: Gast  Login
Titel:

Conservative Overloading in Higher-Order Logic

Dokumenttyp:
Technical Report
Autor(en):
Steven Obua
Abstract:
Overloading in the context of higher-order logic has been used for some time now. Isabelle is the only proof-assistant that actually implements overloading within the logic instead of merely instrumenting the pretty-printing machinery on top of the logic.\\ So far there existed no satisfying theory that could explain why it is safe to add a mechanism of certain kinds of possibly overloaded constant definitions to ordinary higher-order logic. This is not only of theoretical interest but also of p...     »
Stichworte:
Higher-Order Logic; Overloading
Jahr:
2006
Jahr / Monat:
2006-05-01 00:00:00
Seiten/Umfang:
36
 BibTeX