Skip navigation
Skip navigation

A formal treatment of the Barendregt variable convention in rule inductions

CollectionsANU Research Publications
Date published: 2005
Type: Conference paper
Source: MERLIN 2005: Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding


There are no files associated with this item.

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

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator