up
glossary..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


UP HOME © RBJ created 1999/9/16 modified 1999/9/24