Browsing by Author "Fiore, Marcelo"
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 ...