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