Nested Abstract Syntax in Coq
Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-010-9207-9
Full Text
Open PDFAbstract
Available in full text
Date
September 30, 2010
Authors
Publisher
Springer Science and Business Media LLC
Available in full text
September 30, 2010
Springer Science and Business Media LLC