Potenz-Typen

BA : = {f : AB} (Menge aller Funktionen von A nach B)

ist sinnvolle Notation, denn | B|| A| = $ \left\vert\vphantom{B^A}\right.$BA$ \left.\vphantom{B^A}\right\vert$

spezielle Realisierungen:

die unterschiedliche Notation dafür (Beispiele?) ist bedauerlich.

\begin{center}\vbox{\input{typen/array}
}\end{center}



Johannes Waldmann 2011-01-18