Return to Article Details SOME ASPECTS OF FORMALIZATION OF THE DEFINITION DICTIONARY WITH APPLICATION λ-CALCULATION Download Download PDF