Results 221 to 230 of about 4,040 (274)
An Investigation Into the Cyclically Presented Groups with Length Three Positive Relators [PDF]
We continue research into the cyclically presented groups with length three positive relators. We study small cancelation conditions, SQ-universality, and hyperbolicity, we obtain the Betti numbers of the groups’ abelianisations, we calculate the orders ...
Gerald Williams
exaly +2 more sources
Effectful applicative bisimilarity: Monads, relators, and Howe's method [PDF]
We study Abramsky's applicative bisimilarity abstractly, in the context of call-by-value λ-calculi with algebraic effects. We first of all endow a computational λ-calculus with a monadic operational semantics.
Ugo Dal Lago, Francesco Gavazzo
exaly +3 more sources
A note on nonidentical lie relators
It has been an open question for many years whether the associated Lie ring of a relatively free group is necessarily relatively free (see, for example, [151).
Groves, Daniel
exaly +2 more sources
Introduction: Complex adpositions and complex nominal relators
International audienceIn this introductory chapter, we address the issue of the existence and definition of complex adpositions – and complex nominal relators in general –, and provide a working definition on the basis of the existing literature on the ...
Dejan Stosic
exaly +2 more sources
Some of the next articles are maybe not open access.
Categories of Relations and Functional Relations
Applied Categorical Structures, 2000Abstract: "We define relations and their composition in a category with ([Epsilon,Mu])-factorization structure, with [Mu] consisting of monomorphisms, but [Epsilon] not restricted to epimorphisms. We obtain an associativity criterion for composition of relations, and we study functional and induced relations."
Romaine Jayewardene, Oswald Wyler
openaire +2 more sources

