Skip navigation
Skip navigation

Nominal Lawvere Theories

Clouston, Ranald

Description

Lawvere theories provide a category theoretic view of equational logic, identifying equational theories with small categories equipped with finite products. This formulation allows equational theories to be investigated as first class mathematical entities. However, many formal systems, particularly in computer science, are described by equations modulated by side conditions asserting the "freshness of names"; these may be expressed as theories of Nominal Equational Logic (NEL). This paper...[Show more]

CollectionsANU Research Publications
Date published: 2011
Type: Conference paper
URI: http://hdl.handle.net/1885/58223
Source: Proceedings of the 18th international conference on Logic, language, information and computation (WoLLIC'11)
DOI: 10.1007/978-3-642-20920-8-11

Download

File Description SizeFormat Image
01_Clouston_Nominal_Lawvere_Theori_2011.pdf326.08 kBAdobe PDF    Request a copy


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

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator