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.
<strong>Galois</strong> and Galculator<br />
Sub-languages of <strong>Galois</strong><br />
<strong>Galois</strong><br />
Module<br />
GC<br />
Definition Axiom Theorem Strategy<br />
Definition<br />
Type<br />
Fork<br />
Formula<br />
Term<br />
Proof Step<br />
Rewriting<br />
Combinator<br />
Derivation<br />
Order<br />
Function<br />
<strong>Galois</strong><br />
connection<br />
Paulo Silva (UMinho) <strong>Galois</strong> PLMMS’09 22 / 28