Buy Calculus For Cognitive Scientists: Higher Order Models And Their Analysis