Browsing by Author "Mahmoud, Ola"

Now showing items 1-1 of 1

  • Second-order algebraic theories 

    Mahmoud, Ola (University of CambridgeFaculty of Computer Science and Technology, 2011-11-08)
    Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This work completes ...