The use of the typed lambda calculus for guiding naive users in the representation and acquisition of part-whole knowledge /
Uschold, Michael.
University of Edinburgh.Artificial Intelligence Applications Institute.
Edinburgh : Artificial Intelligence Applications Institute, University of Edinburgh,
1995.
Includes bibliographical references.
Lambda calculus.
Expert systems (Computer science)
Knowledge representation (Information theory)