A formal treatment of the Barendregt variable convention in rule inductions

Date

2005

Authors

Urban, Christian
Norrish, Michael

Journal Title

Journal ISSN

Volume Title

Publisher

Association for Computing Machinery Inc (ACM)

Abstract

Description

Keywords

Citation

Source

MERLIN 2005: Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding

Type

Conference paper

Book Title

Entity type

Access Statement

License Rights

DOI

Restricted until