8 votes
Accepted

Uses of quasi-PERs/difunctional relations/zig-zag relations?

Makoto Takeyama and I sent the following to data-refinement@etl.go.jp on Jan 5, 1996: Subject: what is a data refinement relation? Dear all: anyone still interested in data refinement? ...
user avatar
2 votes
Accepted

Why Reflexive Graphs for Parametricity?

In the months since I asked this question, I think I have found a sensible answer. Often, the type of relations considered do not compose. For instance, if your notion of a relation $R : D \to E$ ...
user avatar
  • 1,474
2 votes
Accepted

How to XOR automata?

I guess the main reason why you could not find anything about this is that it is rarely needed (and can be reduced to the better-known boolean operations, as you noted). Checking language equivalence ...
user avatar

Only top scored, non community-wiki answers of a minimum length are eligible