حسابرسی
حسابرسی انواع گوناگون دارد و مهم‌ترین آن‌ها عبارتند از: هر گاه از حسابرسی بدون قید و شرط اضافی یاد شود، منظور همان «حسابرسی صورت‌های مالی» یا به اختصار «حسابرسی مالی» است. هدف اصلی این حسابرسی اعتباردهی به صورتهای مالی است. منظور از اعتباردهی، اظهار عقیده یا قضاوت شخص یا اشخاص مستقل و ذی‌صلاح نسبت به مطابقت تمامی جنبه‌های با اهمیت ادعاهای منعکس در صورت‌های مالی با معیارهای تعیین شده یعنی اصول حسابداری است. البته چنین اظهار نظر یا قضاوتی باید مبتنی بر شواهد معتبر و کافی باشد.
حساب لامبدا
حساب لاندا کاربردهای فراوانی در زمینه‌های مختلف از جمله ریاضیات، فلسفه، زبان‌شناسی و علوم رایانه دارد. همچنین این حساب نقش مهمی در گسترش نظریه زبان‌های برنامه‌نویسی ایفا می‌کند. برنامه‌نویسی تابعی در رایانه حساب لاندا را پیاده‌سازی می‌کند. این حساب هم‌اکنون یکی از موضوعات تحقیق در نظریه دسته‌هاست.