𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Name-free Account of Action Calculi

✍ Scribed by Philippa Gardner

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
859 KB
Volume
1
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Type-theoretic Description of Action C
A Type-theoretic Description of Action Calculi
✍ Philippa Gardner πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 32 KB

Action calculi, introduced by Milner, provide a framework for investigating models of interaction. This talk will focus on the connection between action calculi and known concepts arising from type theory. The aim of this work is to isolate what is distinctive about action calculi, and to investigat

Rebuilding solidarity: an account of a m
Rebuilding solidarity: an account of a men's health action project
✍ Steve Melluish; Don Bulmer πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 97 KB

The literature on men's health has tended to link men's psychological distress with the negative eects of male socialization and masculinity. This analysis ignores social class inΒ―uences on the experience and communication of distress, is at risk of misrepresenting the nature of working class men's

A Classification of Multiplicity Free Ac
A Classification of Multiplicity Free Actions
✍ Chal Benson; Gail Ratcliff πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 374 KB

The action of a complex algebraic group G on an affine variety V is said to be multiplicity free if each irreducible representation of G occurs at most once in the w x ring ‫ރ‬ V of regular functions on V. This paper concerns the classical setting where V is a vector space and G acts linearly on V.

Characteristic polynomials of digraphs h
Characteristic polynomials of digraphs having a semi-free action
✍ Aiping Deng; Yaokun Wu πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 322 KB

Let Ο† be a semi-free action of a group G on a finite digraph . The front divisor /Ο€(Ο†) of has as vertex set the set of the vertex orbits of Ο† and there are t arcs going from Ε« to v in /Ο€(Ο†) if from any vertex u of the orbit Ε« there are t arcs of going towards the vertices in v. Our main result is th

A remark about actions of lattices on fr
A remark about actions of lattices on free groups
✍ Martin R. Bridson; Benson Farb πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 44 KB

Every homomorphism from an irreducible, noncocompact lattice in a higher-rank semisimple Lie group to the outer automorphism group of a free group must have a finite image.