Index of /Archive

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] AiML2022.pdf            2022-08-25 11:24  293K  
[   ] AppuntiLetturaUnica.pdf 2019-10-15 17:32  264K  
[   ] BCN.pdf                 2023-07-13 14:55  1.9M  
[   ] CKICP+WIS.pdf           2022-08-25 11:32  287K  
[   ] CKWIS.pdf               2021-07-21 10:16  188K  
[   ] CPKfinal.pdf            2020-05-05 21:44  528K  
[   ] CPforMELL(proceeding..> 2020-06-29 09:30  329K  
[   ] CPrelevant.pdf          2021-05-11 09:36  454K  
[   ] CSL24.pdf               2024-02-23 13:44  573K  
[DIR] Courses/                2023-08-07 14:20    -   
[   ] DDIfinal.pdf            2021-05-14 19:08  379K  
[   ] Dialog.pdf              2023-08-01 12:12  173K  
[   ] DifDeepTLLA(proceedi..> 2020-06-22 13:22  279K  
[   ] EsempioArticolo.pdf     2019-09-18 12:15  247K  
[   ] FSCD2022.pdf            2022-08-25 11:29  1.0M  
[VID] FSCD_AHMS.mp4           2022-07-29 09:43   45M  
[   ] FromSyntacticalToCom..> 2018-07-14 15:20  422K  
[   ] GPT1.pdf                2024-01-17 16:30  370K  
[   ] GenCon2020.pdf          2020-01-12 19:33  588K  
[   ] LBF-LMCS.pdf            2022-10-22 12:19  953K  
[   ] LBF.pdf                 2022-05-01 15:11  1.2M  
[   ] LMW24.pdf               2024-02-23 13:44  2.0M  
[   ] LogicalTime.pdf         2022-07-12 11:07  1.0M  
[   ] MellCP-postTLLA.pdf     2022-03-22 12:12  340K  
[   ] Modal-Lambda.pdf        2023-08-18 19:23  240K  
[   ] PhdThesisAcclavio.pdf   2017-12-07 12:08  1.3M  
[   ] ProofDiaLinearity.pdf   2022-05-01 15:15  161K  
[   ] ProofDiagrams.pdf       2022-02-27 23:19  600K  
[   ] RapportoHippocampe.pdf  2019-07-17 11:56  266K  
[   ] Slides_AILA22_Games.pdf 2022-09-15 10:44  1.1M  
[   ] Slides_AILA22_LBF.pdf   2022-09-13 13:47  872K  
[   ] Slides_DutchCat2024.pdf 2024-04-01 19:29  285K  
[   ] Slides_Eleatica.pdf     2019-09-20 09:20  2.0M  
[   ] Slides_IntroPomsetLo..> 2023-09-19 09:24  348K  
[   ] Slides_PisaNormale24..> 2024-04-24 12:34  1.1M  
[   ] Slides_SILFS17.pdf      2018-06-21 09:38  740K  
[   ] Slides_Silfs23_CP.pdf   2023-09-06 16:00  1.1M  
[   ] Slides_Silfs23_GPT.pdf  2023-09-07 10:29  680K  
[   ] Slides_TutorialTLLA2..> 2023-09-19 09:28  1.6M  
[   ] Slides_WLD23.pdf        2023-01-13 17:55  880K  
[   ] Slides_tableaux23.pdf   2023-09-20 08:27  155K  
[   ] infCutElim.pdf          2024-01-17 16:30  769K  
[   ] main.pdf                2023-01-11 09:55  325K  
[   ] memoireMasterAcclavi..> 2022-01-08 21:30  466K  
[   ] notesSecProtPub.pdf     2021-11-24 10:44   96K  
[   ] proofzilla.pdf          2021-11-04 13:49  174K  
[   ] proofzilla.sty          2021-11-18 10:40   23K  
[   ] tesiSpecialisticaAcc..> 2016-09-22 19:05  610K  
[   ] tesiTriennaleAcclavi..> 2015-03-25 17:36  409K