علوم الحاسوب

رياضيات, علوم الحاسوب, مصطلحات تقنية, منطق

نونية (N-ary)

اقتصاد, تنمية, سير ذاتية, علوم الحاسوب

بيتر باور (Peter Bauer)

دليل المسافر إلى المجرة, علوم الحاسوب, لغات برمجة, منطق رياضي

أغدا (Agda)

إدارة الذاكرة, الخوارزميات, جمع البيانات المهملة, علوم الحاسوب

خوارزمية تشيني (Cheney’s Algorithm)

أنظمة التشغيل, برامج تعليمية, برمجة, علوم الحاسوب

بينتوس (Pintos)

رياضيات, علوم الحاسوب, نظرية الفئات, هياكل جبرية

البروفنكتور (Profunctor)