WhoCites
Definitions
GenAutomata
Sections
NuprlLIB
Doc
Who Cites tlambda?
tlambda
Def (
x:T. b(x))(x) == b(x)
Syntax:
x:T. b(x)
has structure:
tlambda(T; x.b(x))
About:
WhoCites
Definitions
GenAutomata
Sections
NuprlLIB
Doc
x:T. b(x))(x) == b(x)x:T. b(x))(x) == b(x)x:T. b(x)
