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.
Outline<br />
Outline<br />
1 Introduction<br />
Motivation<br />
Objectives<br />
2 Theoretical background<br />
Indirect equality<br />
<strong>Galois</strong> connections<br />
Fork algebras<br />
Point-free transform<br />
3 <strong>Galois</strong> and Galculator<br />
<strong>Galois</strong><br />
Galculator<br />
4 Summary<br />
Summary<br />
Future work<br />
Paulo Silva (UMinho) <strong>Galois</strong> PLMMS’09 2 / 28