Using a Generalisation Critic to find Bisimulations for Coinductive Proofs

Coinduction is a method of growing importance in reasoning about functional languages, due to the increasing prominence of lazy data structures. Through the use of bisimulations and proofs that bisimilarity is a congruence in various domains it can be used to prove the congruence of two processes. A coinductive proof requires a relation to be chosen which can be proved to be a bisimulation. We use proof planning to develop a heuristic method which automatically constucts a candidate relation. If this relation doesn't allow the proof to go through a proof critic analyses the reasons why it failed and modifies the relation accordingly. Several proof tools have been developed to aid coinductive proofs but all require user interaction. Crucially they require the user to supply an appropriate relation which the system can then prove to be a bisimulation.

New ethnicities online: reflexive racialisation and the internet

In this article we analyse the emergence of Internet activity addressing the experiences of young people in two British communities: South Asian and Chinese.We focus on two web sites: www.barficulture.com and www.britishbornchinese.org.uk, drawing on interviews with site editors, content analysis of the discussion forums, and E-mail exchanges with site users. Our analysis of these two web sites shows how collective identities still matter, being redefined rather than erased by online interaction. We understand the site content through the notion of reflexive racialisation. We use this term to modify the stress given to individualisation in accounts of reflexive modernisation. In addition we question the allocation of racialised meaning from above implied by the concept of racialisation. Internet discussion forums can act as witnesses to social inequalities and through sharing experiences of racism and marginalisation, an oppositional social perspective may develop. The online exchanges have had offline consequences: social gatherings, charitable donations and campaigns against adverse media representations. These web sites have begun to change the terms of engagement between these ethnic groups and the wider society,and they have considerable potential to develop new forms of social action.