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