Generalized Name Abstraction for Nominal Sets
-
Altmetric Citations
Description
The Gabbay-Pitts nominal sets model provides a framework for reasoning with names in abstract syntax. It has appealing semantics for name binding, via a functor mapping each nominal set to the 'atom-abstractions' of its elements. We wish to generalise this construction for applications where sets, lists, or other patterns of names are bound simultaneously. The atom-abstraction functor has left and right adjoint functors that can themselves be generalised, and their generalisations remain...[Show more]
Collections | ANU Research Publications |
---|---|
Date published: | 2013 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/65783 |
Source: | Lecture Notes in Computer Science (LNCS) |
DOI: | 10.1007/978-3-642-37075-5_28 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Clouston_Generalized_Name_Abstraction_2013.pdf | 282.88 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator