13-letter words containing main
- domain handle — (networking) Information held by a domain name registrar about a registrant (the person or organisation that owns the name). Typically the registrar stores one copy of this information and refers to that copy for each additional domain registered by the same person. The information would include basic contact details: name, e-mail address, etc. and billing information. Some of this information would be used to populate the whois database entry for a domain.
- domain theory — (theory) A branch of mathematics introduced by Dana Scott in 1970 as a mathematical theory of programming languages, and for nearly a quarter of a century developed almost exclusively in connection with denotational semantics in computer science. In denotational semantics of programming languages, the meaning of a program is taken to be an element of a domain. A domain is a mathematical structure consisting of a set of values (or "points") and an ordering relation, <= on those values. Domain theory is the study of such structures. ("<=" is written in LaTeX as \subseteq) Different domains correspond to the different types of object with which a program deals. In a language containing functions, we might have a domain X -> Y which is the set of functions from domain X to domain Y with the ordering f <= g iff for all x in X, f x <= g x. In the pure lambda-calculus all objects are functions or applications of functions to other functions. To represent the meaning of such programs, we must solve the recursive equation over domains, D = D -> D which states that domain D is (isomorphic to) some function space from D to itself. I.e. it is a fixed point D = F(D) for some operator F that takes a domain D to D -> D. The equivalent equation has no non-trivial solution in set theory. There are many definitions of domains, with different properties and suitable for different purposes. One commonly used definition is that of Scott domains, often simply called domains, which are omega-algebraic, consistently complete CPOs. There are domain-theoretic computational models in other branches of mathematics including dynamical systems, fractals, measure theory, integration theory, probability theory, and stochastic processes. See also abstract interpretation, bottom, pointed domain.
- lifted domain — (theory) In domain theory, a domain with a new bottom element added. Given a domain D, the lifted domain, lift D contains an element lift d corresponding to each element d in D with the same ordering as in D and a new element bottom which is less than every other element in lift D. In functional languages, a lifted domain can be used to model a constructed type, e.g. the type data LiftedInt = K Int contains the values K minint .. K maxint and K bottom, corresponding to the values in Int, and a new value bottom. This denotes the fact that when computing a value v = (K n) the computation of either n or v may fail to terminate yielding the values (K bottom) or bottom respectively. (In LaTeX, a lifted domain or element is indicated by a subscript \perp). See also tuple.
- main diagonal — a diagonal line or plane.
- main sequence — a narrow band in the Hertzsprung-Russell diagram in which 90 percent of all observed stars are plotted.
- mainstreaming — the principal or dominant course, tendency, or trend: the mainstream of American culture.
- mainstreeting — the practice of a politician walking about the streets of a town or city to gain votes and greet supporters
- mainz psalter — a book printed by Johannes Gutenberg: thought by some to be the first book printed from movable type.
- most mainline — a fashionable residential district west of Philadelphia.
- nonmainstream — denoting someone or something not in the main current (of style, culture, etc)
- public domain — the status of a literary work or an invention whose copyright or patent has expired or that never had such protection.
- spenta mainyu — the good and creative spirit that is the offspring of Ahura Mazda.
On this page, we collect all 13-letter words with MAIN. It’s easy to find right word with a certain length. It is the easiest way to find 13-letter word that contains MAIN to use in Scrabble or Crossword puzzles.