research
          
      
      ∙
      01/11/2021
    Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading
Definitions of new symbols merely abbreviate expressions in logical fram...
          
            research
          
      
      ∙
      02/24/2020