search

spl / phd-thesis

PhD thesis of Sean Leather
0 stars 0 forks source link

Identify all the adjectives of the transformation relation #4

Open spl opened 9 years ago

spl commented 9 years ago

We have reflexivity, not symmetry (so not an equivalence relation), and left-total. Others?

spl commented 9 years ago

Are we sure that we can't make transformation symmetric? See the comment in the PEPM/SCP paper about removing abs and rep.