Skip navigation
Skip navigation

Nominal Lawvere Theories: A category theoretic account of equational theories with names

Clouston, Ranald

Description

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]

CollectionsANU Research Publications
Date published: 2014
Type: Journal article
URI: http://hdl.handle.net/1885/66843
Source: Journal of Computer and System Sciences
DOI: 10.1016/j.jcss.2014.04.002

Download

File Description SizeFormat Image
01_Clouston_Nominal_Lawvere_Theories:_A_2014.pdf411.42 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator