axiomatization
P :: "'a \ tr" and
F :: "'b \ 'b" and
G :: "'a \ 'a" and
H :: "'a \ 'b \ 'b" and
K :: "('a \ 'b \ 'b) \ ('a \ 'b \ 'b)" where
F_strict: "F(UU) = UU"and
K: "K = (\h x y. P(x) \ y | F(h(G(x),y)))" and
H: "H = FIX(K)"
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
