No other cites to report in MarkB_generic
so_lambda3	Def (x,y,z. t(x;y;z))(x,y,z) == t(x;y;z)

Syntax:

x,y,z. t(x;y;z)

has structure:

so_lambda(x,y,z.t(x;y;z))

About: