Sciweavers

Share
ITP
2010

Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison

8 years 9 months ago
Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison
Amy P. Felty, Brigitte Pientka
Added 15 Aug 2010
Updated 15 Aug 2010
Type Conference
Year 2010
Where ITP
Authors Amy P. Felty, Brigitte Pientka
Comments (0)
books