Skip navigation
Skip navigation

On the role of names in reasoning about lambda-tree syntax specifications

Tiu, Alwen

Description

Lambda tree syntax (a variant of HOAS) and nominal techniques are two approaches to representing and reasoning about languages containing bindings. Although they are based on separate foundations, recent advances in the proof theory of generic judgments have shown that one may be able to incorporate some aspects of nominal techniques (i.e., the equivariant principle) to simplify reasoning about λ-tree syntax specifications, while still maintaining the crucial aspects of λ-tree syntax. In this...[Show more]

CollectionsANU Research Publications
Date published: 2009
Type: Journal article
URI: http://hdl.handle.net/1885/58666
Source: Electronic Notes in Theoretical Computer Science
DOI: 10.1016/j.entcs.2008.12.122

Download

File Description SizeFormat Image
01_Tiu_On_the_role_of_names_in_2009.pdf248.72 kBAdobe PDF    Request a copy
02_Tiu_On_the_role_of_names_in_2009.pdf163.63 kBAdobe PDF    Request a copy


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

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator