Programming with Higher-Order Logic

Programming with Higher-Order Logic Miller Nadathur Hardback 9780521879408

FUNCTIONAL PROGRAMMING PARADIGMS: Immutability higher-order functions and declarative problem modeling

Higher-Order Metaphysics

Higher Order Perl