حسابرسی
ارزیابی صرفه اقتصادی، کارایی و اثربخشی سیستم حسابداری کامپیوتری یک شرکت و ارائه پیشنهادهای اصلاحی، نمونه‌ای از حسابرسی عملیاتی است. در این نوع از حسابرسی، معیار مورد استفاده برای ارزیابی ادعاهای مدیریت با معیار مورد نظر در حسابرسی صورت‌های مالی متفاوت است. به همین دلیل در مقایسه با حسابرسی صورت‌های مالی و حسابرسی رعایت، حسابرسی عملیاتی با مسایل و چالش‌های دیگری نیز مواجه است؛ زیرا در این زمینه حسابرسان باید به شناسایی یا تعریف اهداف و معیارهای قابل اندازه‌گیری بپردازند تا بتوانند به کمک آن اثربخشی و کارایی عملیات را ارزیابی کنند.
حساب لامبدا
حساب لاندا کاربردهای فراوانی در زمینه‌های مختلف از جمله ریاضیات، فلسفه، زبان‌شناسی و علوم رایانه دارد. همچنین این حساب نقش مهمی در گسترش نظریه زبان‌های برنامه‌نویسی ایفا می‌کند. برنامه‌نویسی تابعی در رایانه حساب لاندا را پیاده‌سازی می‌کند. این حساب هم‌اکنون یکی از موضوعات تحقیق در نظریه دسته‌هاست.