Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective Alternative spelling of
normalizable .
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word normalisable.
Examples
-
M: A then M is normalisable in a strong way (any sequence of reductions starting from M terminates).
Type Theory Coquand, Thierry 2006
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.