… Note that our class hierarchies are two tiered where abstract classes are interior … about
message passing and block execution which are not important in our definition of abstract classes …

… As in the preliminaries of [39], we can define a notion of embedding for abstract classes and
go on … The following sums up all the results we will use about stability and the order property: …

… Starting from the way the inter-cellular communication takes place by means of protein
channels and also from the standard knowledge about neuron functioning, we propose a …

… In higher-order abstract syntax (HOAS) we represent binders in the object-language via …
and reason about HOAS representations, since tedious lemmas about substitutions and fresh …

… class is a complexity class iff it is honest. Starting from the observation that many results about
subrecursive classes … abstract subrecursive reducibility relation. Many results hold for all …

… the property of redness and the class of red things. What this … about the relations of predicates,
properties and classes. (1) To every predicate, then, corresponds a property and a class. (…

… ’s Abstract Elementary Classes are between (2) and (4). We will also introduce … class of
abstract elementary categories as “abstract elementary classes” without any assumption about …

… a class. Later, we find the statements "General propositions are about properties which
individual objects may possess"; and "Every property determines a class, namely, the class con…

… In Section 2 of this paper we introduce several games; we are able to express questions
about the smoothness or boundedness of a class K in terms of winning strategies for these …

… to say about it … abstract classes defining behavior that the port implements. Each of these
mechanisms, however, is tightly bound to a particular concurrent semantics. This paper is about …