Sciweavers

LICS
1997
IEEE

Linear Higher-Order Pre-Unification

14 years 4 months ago
Linear Higher-Order Pre-Unification
Iliano Cervesato, Frank Pfenning
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1997
Where LICS
Authors Iliano Cervesato, Frank Pfenning
Comments (0)