Nuprl Definition : type-function
type-function{i:l}(A) == per-function(A;a.Type)
Definitions occuring in Statement :
per-function: per-function(A;a.B[a]),
universe: Type
Definitions occuring in definition :
per-function: per-function(A;a.B[a]),
universe: Type
FDL editor aliases :
type-function
Latex:
type-function\{i:l\}(A) == per-function(A;a.Type)
Date html generated:
2016_05_13-PM-03_53_38
Last ObjectModification:
2015_09_22-PM-05_45_31
Theory : per!type
Home
Index