..K
-
K
-
- (combinatory logic)
- the constant combinator. A function which, when applied to some value, yields a constant function which always returns that value.
- K =
x y. x
-
kind
- considerate, generous, affectionate
- Class, type, sort, variety.
- (logic)
- a polymorphic logical type theory which has operations over types may have a second tier of typing in which types and operators over them are assigned to kinds.
- see also:
- category
- sort
- type
-
knowledge
- justified true belief
-
-
© 
created 1999/9/16 modified 1999/9/24