The use of the typed lambda calculus in a software construction assistant : position statement for Terminological Logic Users Workshop /
Uschold, Michael.
University of Edinburgh.Artificial Intelligence Applications Institute.
Terminological Logic Users Workshop(1991 :Berlin, Germany)
Edinburgh : Artificial Intelligence Applications Institute, University of Edinburgh,
1991.
Includes bibliography.
Lambda calculus.
Computer software