![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| UnifDescComp.pdf | 2025-05-15 11:47 | 665K | |
| BoolLext.pdf | 2025-04-10 10:01 | 285K | |
| BohmTaylor.pdf | 2024-06-13 15:50 | 660K | |
| SheavesProblems.pdf | 2024-04-30 08:42 | 474K | |
| ApxAxiom.pdf | 2021-05-21 12:44 | 305K | |
| AutoDiffPCF.pdf | 2020-12-17 08:12 | 415K | |
| PolyReals.pdf | 2020-03-06 10:34 | 334K | |
| RevDiffLambda.pdf | 2019-11-22 22:47 | 919K | |
| ITPi.pdf | 2018-12-18 12:59 | 451K | |
| ConcMeanLogCorr.pdf | 2017-12-28 15:48 | 367K | |
| IntersectionTypes.pdf | 2017-11-24 10:51 | 873K | |
| HOBoolCirc.pdf | 2017-06-07 12:44 | 192K | |
| ChurchCookLevin.pdf | 2016-05-11 10:57 | 426K | |
| DistillingAbstractMachines-ICFP2014.pdf | 2016-01-04 13:02 | 336K | |
| StrongDistillery-APLAS2015.pdf | 2016-01-04 13:00 | 378K | |
| FunctBridge-ICTAC2015.pdf | 2015-08-18 15:24 | 567K | |
| LogSpace.pdf | 2015-04-12 20:36 | 622K | |
| Lpoly.pdf | 2015-02-18 09:01 | 375K | |
| InfAffProofs.pdf | 2015-02-07 11:50 | 438K | |
| Ppoly.pdf | 2014-11-25 15:52 | 406K | |
| Ppoly-LCC.pdf | 2014-11-10 19:23 | 277K | |
| AbsMachinesES.pdf | 2014-03-14 22:38 | 450K | |
| Errata-TLCA2013.pdf | 2013-10-25 15:14 | 165K | |
| Errata-LICS2012.pdf | 2013-10-24 15:29 | 151K | |
| CoreQuantCoeff.pdf | 2013-10-14 13:28 | 302K | |
| INHierarchy-CONCUR2013.pdf | 2013-06-05 14:59 | 306K | |
| TrueConcDIN.pdf | 2013-05-15 23:43 | 304K | |
| LambdaMetrics-TLCA2013.pdf | 2013-04-27 19:19 | 301K | |
| CombSetSem-FOSSACS2012.pdf | 2013-03-22 15:32 | 192K | |
| LambdaMetrics-LICS2012.pdf | 2012-06-13 11:20 | 260K | |
| CombSetSem-FOSSACS2012-Original.pdf | 2012-03-05 10:58 | 190K | |
| NormRewSys.pdf | 2010-05-15 16:06 | 451K | |
| L3-TCS.sub.pdf | 2009-06-01 23:28 | 520K | |
| Tesi.pdf | 2009-02-20 17:17 | 1.2M | |
| Memoire.pdf | 2009-02-20 17:17 | 348K | |
| mINSAndConcurrency-CONCUR05.pdf | 2008-11-11 17:56 | 198K | |
| Edifices-TLCA07.pdf | 2008-11-11 17:56 | 251K | |
| DiffNetsSep-LPAR07.pdf | 2008-11-11 17:56 | 208K | |
| LLandPTime-MSCS.pdf | 2008-10-01 00:31 | 390K | |
| Tesi.ps.gz | 2008-10-01 00:31 | 537K | |
| Thesis-1.3.pdf | 2008-10-01 00:31 | 1.3M | |
| Thesis-0.2.pdf | 2008-10-01 00:31 | 1.2M | |
| Thesis-1.1.pdf | 2008-10-01 00:31 | 1.3M | |
| Orevkov.pdf | 2008-10-01 00:30 | 148K | |
| Thesis-1.0.pdf | 2008-10-01 00:30 | 1.3M | |
| Thesis-0.3.pdf | 2008-10-01 00:30 | 1.2M | |
| CombSem-MSCS.pdf | 2008-10-01 00:29 | 315K | |
| LLL.ps.gz | 2008-10-01 00:29 | 155K | |
| CombSep-ENTCS.pdf | 2008-10-01 00:29 | 293K | |
| Memoire.ps.gz | 2008-10-01 00:29 | 134K | |
| Thesis.pdf | 2008-10-01 00:29 | 1.3M | |
| Edifices-LMCS.pdf | 2008-10-01 00:29 | 409K | |
| CombSep-TERMGRAPH06.pdf | 2008-10-01 00:29 | 136K | |
| Thesis-1.2.pdf | 2008-10-01 00:29 | 1.3M | |