Galois
Galois: A Language for Proofs Using Galois connections and ... - ALFA
Galois: A Language for Proofs Using Galois connections and ... - ALFA
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Theoretical background<br />
Point-free transform<br />
Point-free definitions<br />
Definition (<strong>Galois</strong> connection)<br />
Definition (Indirect equality)<br />
f ◦ ◦ ⊑ B = ⊑ A ◦ g<br />
f = g ⇔ ≼ ◦ f = ≼ ◦ g<br />
f = g ⇔ f ◦ ◦ ≼ = g ◦ ◦ ≼<br />
Paulo Silva (UMinho) <strong>Galois</strong> PLMMS’09 20 / 28