Sciweavers

LICS
1999
IEEE

A New Approach to Abstract Syntax Involving Binders

14 years 4 months ago
A New Approach to Abstract Syntax Involving Binders
Murdoch Gabbay, Andrew M. Pitts
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where LICS
Authors Murdoch Gabbay, Andrew M. Pitts
Comments (0)