Motivation

Beispiele: S = λxyz.xz(yz), K = λxy.x



Johannes Waldmann 2012-01-30