Telecharger Cours

lab-univariate-numeric.pdf

Some recursive equations can be translated into non recursive definitions. Consider the stream equation: let rec nat = 0 fby (nat + 1) in nat. Can we get rid of ...



Download