Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Steven Obua 
Titel:
Conservative Overloading in Higher-Order Logic 
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