A formal treatment of the Barendregt variable convention in rule inductions
Date
Authors
Urban, Christian
Norrish, Michael
Journal Title
Journal ISSN
Volume Title
Publisher
Association for Computing Machinery Inc (ACM)
Abstract
Description
Keywords
Citation
Collections
Source
MERLIN 2005: Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding