Nominal Lawvere Theories: A category theoretic account of equational theories with names
Names, or object-level variables, are a ubiquitous feature in programming languages and other computational applications. Reasoning with names, and related constructs like binding and freshness, often poses conceptual and technical challenges. Nominal Equational Logic (NEL) is a logic for reasoning about equations in the presence of freshness side conditions. This paper gives a category theoretic account of NEL theories, by analogy with Lawvere's classic correspondence between equational...[Show more]
|Collections||ANU Research Publications|
|Source:||Journal of Computer and System Sciences|
|01_Clouston_Nominal_Lawvere_Theories:_A_2014.pdf||411.42 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.