Sciweavers

74
Voted
LICS
1997
IEEE

Linear Higher-Order Pre-Unification

15 years 12 days 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)