Index of /Archive/Papers

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 LMW24.pdf               2024-05-04 19:04  2.0M  
 TutorialTLLA2021.pdf    2024-05-04 19:04  1.5M  
 PhdThesisAcclavio.pdf   2024-05-04 19:04  1.3M  
 LBF.pdf                 2024-05-04 19:04  1.2M  
 PLLcomplexity.pdf       2024-08-21 09:58  1.1M  
 LogicalTime.pdf         2024-05-04 19:04  1.0M  
 FSCD2022.pdf            2024-05-04 19:04  1.0M  
 ProofNetsPi.pdf         2024-11-13 19:05  971K  
 LBF-LMCS.pdf            2024-05-04 19:04  953K  
 infCutElimExt.pdf       2024-05-29 08:50  843K  
 infCutElim.pdf          2024-05-04 19:04  769K  
 OPDL.pdf                2024-11-13 18:33  764K  
 SILFS17.pdf             2024-05-04 19:04  740K  
 tesiSpecialisticaAcc..> 2024-05-04 19:04  610K  
 ProofDiagrams.pdf       2024-05-04 19:04  600K  
 GenCon2020.pdf          2024-05-04 19:04  588K  
 CSL24.pdf               2024-05-04 19:04  573K  
 CPKfinal.pdf            2024-05-04 19:04  528K  
 memoireMasterAcclavi..> 2024-05-04 19:04  466K  
 CPrelevant.pdf          2024-05-04 19:04  454K  
 FromSyntacticalToCom..> 2024-05-04 19:04  422K  
 tesiTriennaleAcclavi..> 2024-05-04 19:04  409K  
 DDIfinal.pdf            2024-05-04 19:04  379K  
 GPT1.pdf                2024-05-29 08:50  375K  
 MellCP-postTLLA.pdf     2024-11-27 11:04  340K  
 CPforMELL(proceeding..> 2024-05-04 19:04  329K  
 LPmultiplicative.pdf    2024-08-21 09:54  303K  
 AiML2022.pdf            2024-05-04 19:04  293K  
 CKICP+WIS.pdf           2024-05-04 19:04  287K  
 GPT-IJCAR24.pdf         2024-07-05 14:04  286K  
 DifDeepTLLA(proceedi..> 2024-05-04 19:04  279K  
 RapportoHippocampe.pdf  2024-05-04 19:04  266K  
 EsempioArticolo.pdf     2024-05-04 19:04  247K  
 Modal-Lambda.pdf        2024-05-04 19:04  240K  
 CKWIS.pdf               2024-05-04 19:04  188K  
 Dialog.pdf              2024-05-04 19:04  173K  
 ProofDiaLinearity.pdf   2024-05-04 19:04  161K  
 notesSecProtPub.pdf     2024-05-04 19:04   96K