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...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Outline<br />
Summary<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 24 / 28