WhoCites
Definitions
graph
1
3
Sections
Graphs
Doc
Who Cites so
lambda3?
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:
WhoCites
Definitions
graph
1
3
Sections
Graphs
Doc
x,y,z. t(x;y;z))(x,y,z) == t(x;y;z)x,y,z. t(x;y;z))(x,y,z) == t(x;y;z)x,y,z. t(x;y;z)
