Sciweavers

LICS
1997
IEEE

A Logic for Reasoning with Higher-Order Abstract Syntax

14 years 3 months ago
A Logic for Reasoning with Higher-Order Abstract Syntax
Raymond McDowell, Dale Miller
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where LICS
Authors Raymond McDowell, Dale Miller
Comments (0)