5 - Higher-Order Equational Logic Programming
Published online by Cambridge University Press: 12 January 2010
Summary
- Type
- Chapter
- Information
- The Clausal Theory of Types , pp. 89 - 106Publisher: Cambridge University PressPrint publication year: 1993