… Introduction The type structure of programming languages has been the subject of an active
development characterized by continued controversy over basic principles. (I-7) In this paper …

… We present a type checking algorithm for a theory with metavariables and prove its … In any
programming language it is important to be able to structure large programs into separate units …

… For if the part-theoretic structure of familiar things need not be the aggregative structure of
classical mereology, then we need to investigate what it might be and how it might be realized. …

… It is appropriate to make one other observation before proceeding, ie, just because the
basic data type is a list structure we cannot infer that no representation of a noncontext-free …

A brief theoretical statement on definition is advanced, followed by a study of the development
of definition in children aged 5;0–10;0. The empirical findings suggest that the emergence …

… Entity types are used to introduce and to structure objects and relationship or cluster
types reference and co-use these objects. Reference is typically based on some concept of …

… We construct a theory of a data type, which is a … types, every theorem in the theory constructed
from the specification holds for each data type in the set We define three other structural …

… way of explaining social structure as discussed earlier in this chapter, but the matter is
aggravated here in the sense that one does not want to explain how social structure comes about, …

… a particular battery of structural genes coding for enzymes or structural proteins. The … the
activity of all the structural genes in the battery; the structural genes could be connected to their …

… TOWARDS THE THEORY OF HARDNESS OF MATERIALS … stishovite (rutile type structure)
and seifertite (α PbO2 type structure), (iii) a 3×3 kinked chain structure, intermediate between …