| < Free Open Study > |
|
weak binary operations, 375
weak head reduction, 460
weak pointers, 515
weak type variable, 336
weakening lemma, 106
web resources, xx
well-formed context, 459
well-founded
order, 18
set, 18
well-typed term, 93
width subtyping, 183
wildcard bindings, 119-121
witness type, 364
wrong, 42, 73
| < Free Open Study > |
|