Newer
Older
Unito / tesi / note_coppo.org
1. [X] introduzione: traduzione ocaml a matrice a Decision.
2. [X] Perche` alberi difficili da confrontare (intro)
3. [X] descrivere meglio Lambda.
4. [ ] Spiegare bene difficolta` tesi.
5. [ ] Notazioni da spiegare? Magari con esempio. Elenca passaggi rimanenti.
6. [ ] Elenca passaggi dimostrazione Lamda to Decision
7. [ ] Pag 32 punto 1 e 2 ?
8. [ ] Logica Hoare rifai
9. Indice
10. Spiega che hai pubblicato.