Search
Now showing items 1-1 of 1
Second-order algebraic theories
(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 ...