![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| LAMBDA-CALCULUS/ | 2025-05-07 14:17 | - | |
| LOGICA/ | 2023-05-22 11:13 | - | |
| MA-HTML/ | 2020-03-04 13:47 | - | |
| MA/ | 2020-03-04 13:47 | - | |
| SEMANTICA/ | 2020-03-04 13:47 | - | |
| TwoComplement/ | 2020-03-04 13:47 | - | |
| URM/ | 2020-03-04 13:47 | - | |
| BasicTipsForInstallationAndUse.txt | 2022-05-11 18:39 | 1.4K | |
| grouphighlighter.html | 2020-03-04 13:47 | 4.4K | |
| Herbrandxghci.hs | 2022-05-08 20:37 | 4.6K | |
| Herbrand.hs | 2022-05-08 20:30 | 5.9K | |
| AJAVA.html | 2020-03-04 13:47 | 6.4K | |
| EserciziDeduzioneNaturaleUrsini.tex | 2020-03-04 13:47 | 13K | |
| lambda-appunti.html | 2020-03-04 13:47 | 19K | |
| formal-systemsOLD.html | 2020-03-04 13:47 | 20K | |
| codesNote.old | 2020-03-04 13:47 | 21K | |
| _ | 2020-03-04 13:47 | 21K | |
| codesNoteURM.html | 2020-03-04 13:47 | 23K | |
| codesNote.html | 2020-03-04 13:47 | 23K | |
| comp-modelsNote.html | 2020-03-04 13:47 | 28K | |
| formal-systems.html | 2020-03-04 13:47 | 56K | |
| SOLUZIONI-EserciziDeduzioneNaturale-Ursini.pdf | 2020-03-04 13:47 | 75K | |
| ProofPumpingLemma.pdf | 2020-03-04 13:47 | 100K | |
| biblio_tutoBioInf.pdf | 2020-03-04 13:47 | 117K | |
| PROGPROGFUN2.pdf | 2020-03-04 13:47 | 299K | |
| howFuncProgrMattered.pdf | 2020-03-04 13:47 | 395K | |
| URM.tar.gz | 2020-03-04 13:47 | 620K | |
| Urm.pdf | 2020-03-04 13:47 | 654K | |
| haskell-98-tutorial.pdf | 2020-03-04 13:47 | 836K | |
| Ausiello.pdf | 2020-03-04 13:47 | 1.3M | |