Other programming paradigms Software and programming theory mathematics