Illustration of the 2-order lambda-calculus, using Church numerals as an example. The example shows limited impredicativity
http://okmij.org/ftp/Haskell/types.html#some-impredicativity
Illustration of the 2-order lambda-calculus, using Church numerals as an example. The example shows limited impredicativity
http://okmij.org/ftp/Haskell/types.html#some-impredicativity