Sciweavers

NJC
2006

Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form

14 years 12 days ago
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form
Kristian Støvring
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where NJC
Authors Kristian Støvring
Comments (0)