Index of /Labo/Dale.Miller/papers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]MS-CIS-92_86.pdf2023-07-07 10:30 21M 
[   ]MS-CIS-92_80.pdf2023-07-07 10:30 5.0M 
[   ]ethz2015.pdf2015-05-25 09:52 3.8M 
[   ]lopstr-ppdp-2015-talk.pdf2015-07-15 16:30 3.8M 
[   ]padl2017.pdf2017-01-16 10:38 3.8M 
[   ]seminouvert2017.pdf2017-02-23 16:12 3.8M 
[   ]ms-cis-90-54.pdf2019-01-25 12:02 3.3M 
[   ]alghero-1988.pdf2020-05-21 15:39 3.2M 
[   ]EU-Researcher-hres.pdf2017-05-13 16:22 3.1M 
[   ]types16-slides.pdf2016-05-29 22:27 2.7M 
[   ]lmw2023.pdf2023-02-18 08:37 2.6M 
[   ]Millin-series-proof.pdf2020-08-25 20:47 2.5M 
[   ]A meta-logic for FP-1989.ps2017-07-04 17:35 2.5M 
[   ]days-of-logic-2024.pdf2024-02-04 09:37 2.3M 
[   ]IMPACT_publication_P86-70-hres.pdf2017-05-13 16:22 1.9M 
[   ]A meta-logic for FP-1989.pdf2018-12-04 13:37 1.8M 
[   ]mpc89.pdf2008-03-14 19:02 1.6M 
[   ]fc2019.pdf2019-11-04 12:21 1.6M 
[   ]DAMF-Dec 2023.pdf2024-03-09 10:40 1.6M 
[   ]cirm2023.pdf2023-05-04 15:18 1.5M 
[   ]lics2023talk.pdf2023-10-25 18:13 1.4M 
[   ]cade1984.pdf2015-08-04 17:39 1.2M 
[   ]ECS-LFCS-91-158.pdf2011-06-22 11:29 1.2M 
[IMG]Birmingham-Distinguished-Seminar-Dec-2023.png2024-03-09 10:40 1.1M 
[   ]aaai86-bad.pdf2013-02-23 06:40 1.1M 
[   ]fics2023talk.pdf2023-02-18 08:37 1.0M 
[   ]tlla-linearity-2022.pdf2022-08-01 09:24 1.0M 
[   ]birmingham2022.pdf2022-06-08 08:23 1.0M 
[   ]sle2020.pdf2020-11-12 14:37 966K 
[   ]AutomatingHOL84.pdf2012-11-07 07:26 903K 
[   ]bk.ps2002-09-05 17:33 898K 
[   ]lfmtp13-slides.pdf2013-09-23 21:11 881K 
[   ]cade1982.pdf2015-08-04 17:39 869K 
[   ]MS-CIS-88-45.pdf2017-07-04 17:35 863K 
[   ]cade1990.pdf2011-07-06 08:24 849K 
[   ]philmath2021.pdf2022-12-19 16:10 849K 
[   ]hoggatt2.pdf2013-07-15 11:14 826K 
[   ]aaai86.pdf2013-02-23 06:40 811K 
[   ]cade2013presentation.pdf2013-07-09 17:33 802K 
[   ]mlts-2019.pdf2019-11-19 13:38 794K 
[   ]mlts-draft-jul-2019.pdf2019-07-26 10:02 759K 
[   ]itu14-slides.pdf2014-09-12 13:41 754K 
[   ]mlts-draft-may-2019.pdf2019-05-29 17:28 747K 
[   ]ppdp2019-pbt.pdf2019-11-19 13:38 731K 
[   ]appa2014-slides.pdf2014-07-25 09:24 726K 
[   ]abella-tutorial.pdf2015-02-05 17:20 708K 
[   ]pbt-draft.pdf2019-05-11 04:15 706K 
[   ]cpp2019.pdf2018-12-16 10:24 702K 
[   ]ticamore2021.pdf2021-07-19 15:11 692K 
[   ]survey-ptflp.pdf2021-10-29 18:38 686K 
[   ]tocl-nabla.pdf2022-12-06 17:06 636K 
[   ]lfmtp17.pdf2017-08-30 09:09 630K 
[   ]tocl-nabla.ps2004-12-10 07:53 628K 
[   ]From-OS-to-AM-lfp90.pdf2014-01-18 06:13 616K 
[   ]cade1988.pdf2011-07-06 08:24 611K 
[   ]bk.pdf2002-09-05 17:33 597K 
[   ]lkfexp.pdf2012-06-29 11:54 582K 
[   ]skolem-draft.pdf2019-11-19 13:38 575K 
[   ]berlin2013.pdf2013-02-22 09:32 563K 
[   ]synthetic-rules-via-focusing.pdf2022-01-15 10:21 561K 
[   ]pbt-subm.pdf2024-02-08 18:34 556K 
[   ]bk.dvi2002-09-05 17:33 549K 
[   ]pilshort.pdf2012-04-24 15:22 548K 
[   ]pil-draft.pdf2011-10-06 08:00 548K 
[   ]mcdowell01.pdf2017-01-07 09:31 545K 
[   ]fcu-conference.pdf2016-04-15 18:23 545K 
[   ]pil-final.pdf2012-10-07 11:30 542K 
[   ]pbt-subm-v1.pdf2024-02-06 16:35 526K 
[   ]lp-coq.pdf2021-03-29 13:04 525K 
[   ]generic.ps2002-09-05 17:32 519K 
[   ]tiu09tocl.pdf2009-02-16 17:47 514K 
[   ]fpc-jar.pdf2016-07-02 08:07 513K 
[   ]distrib-trust-prelim.pdf2023-03-10 08:57 506K 
[   ]bisim-draft.pdf2008-05-20 04:53 501K 
[   ]csl2017.pdf2017-06-20 09:00 495K 
[   ]exptrees-mmf.pdf2013-12-02 12:19 487K 
[   ]scsc.ps2003-05-27 10:56 480K 
[   ]general-modal.pdf2016-03-22 15:01 475K 
[   ]gdrim11slides.pdf2012-01-26 10:24 474K 
[   ]clmps2011talk.pdf2015-08-05 07:55 472K 
[   ]aiml2016.pdf2016-06-12 22:01 466K 
[   ]hapoc-slides.pdf2019-05-22 15:35 465K 
[   ]pic.ps2002-09-05 17:33 464K 
[   ]typesoundness.pdf2016-10-22 11:27 463K 
[   ]aplas10-slides.pdf2011-06-17 16:50 463K 
[   ]tcs95.ps2002-09-05 17:35 460K 
[   ]bisimdraft2.pdf2008-12-04 06:36 447K 
[   ]mmr-final.pdf2019-08-29 07:07 442K 
[   ]cpp11slides.pdf2011-12-08 04:47 441K 
[   ]merlin2001.ps2002-09-05 17:34 435K 
[   ]fcu-final.pdf2021-09-09 10:55 433K 
[   ]ptmc-final.pdf2018-06-10 21:01 430K 
[   ]focusli.pdf2006-12-15 11:44 428K 
[   ]Handbook_Logic_AI_LP.pdf2002-09-05 17:32 421K 
[   ]mmr-draft-16-11-2016.pdf2016-11-17 08:04 421K 
[   ]focused-modal-long.pdf2015-11-06 16:54 419K 
[   ]damf-draft.pdf2023-05-22 10:10 417K 
[   ]automationHOL.pdf2014-03-18 09:39 416K 
[   ]mlts-draft-nov-2018.pdf2018-11-17 10:59 409K 
[   ]csl2023-techrep.pdf2022-11-14 16:22 405K 
[   ]th.pdf2004-08-24 11:13 401K 
[   ]focused-modal.pdf2015-10-19 18:38 394K 
[   ]tcs09fixed.pdf2013-10-17 10:09 390K 
[   ]mmr-types.pdf2018-07-06 11:19 390K 
[   ]lc99.ps2002-09-05 17:33 386K 
[   ]fcs03.ps2003-06-11 10:44 386K 
[   ]distrib-trust.pdf2023-03-10 08:57 383K 
[   ]winterschool2013.pdf2013-01-30 06:22 383K 
[   ]iclp90hodas.ps2004-02-04 06:39 382K 
[   ]mlts-draft-may-2018.pdf2018-05-26 09:37 376K 
[   ]Llinda.pdf2012-11-06 14:01 367K 
[   ]prelude09.pdf2009-10-19 15:47 360K 
[   ]lfmtp2022.pdf2023-07-06 15:38 355K 
[   ]tocl-nabla-w-typo.pdf2022-12-06 17:06 353K 
[   ]cade2017.pdf2017-05-26 10:46 353K 
[   ]mmf-draft-10-01-2015.pdf2015-03-30 12:08 352K 
[   ]rew-fpc.pdf2015-02-26 10:25 346K 
[   ]mdorf1995.pdf2019-08-09 11:39 344K 
[   ]qapl-full-version.pdf2012-09-05 16:53 344K 
[   ]mdorf1997.pdf2019-08-09 11:39 343K 
[   ]StudiaLogica87.pdf2022-05-06 11:43 342K 
[   ]pa-and-mumall-draft.pdf2023-12-20 18:08 342K 
[   ]proofcert-talk2010.pdf2011-10-18 11:33 341K 
[   ]nominal-abstraction.pdf2010-09-22 08:56 341K 
[   ]two-level-logic.pdf2010-09-03 14:06 341K 
[   ]FroCos23.pdf2023-07-21 23:15 341K 
[   ]cpp2013.pdf2013-09-19 11:24 341K 
[   ]roadmap06.pdf2006-10-17 17:31 340K 
[   ]fpc-subm.pdf2013-01-21 18:22 339K 
[   ]nabla-subm.pdf2003-10-28 15:14 337K 
[   ]mscs92.pdf2002-09-05 17:34 336K 
[   ]iclp88.ps2002-09-05 17:33 334K 
[   ]lkf-2020-04-03.pdf2020-04-03 16:29 334K 
[   ]ic94.ps2002-09-05 17:33 332K 
[   ]gazeau-draft-2014.pdf2015-04-16 11:44 332K 
[   ]iclpaper.pdf2012-04-06 17:05 330K 
[   ]lsfa2015.pdf2016-01-25 15:57 330K 
[   ]cl2000.ps2014-11-03 16:29 327K 
[   ]pls8-part2.pdf2011-07-05 10:37 327K 
[   ]cade2013.pdf2013-05-22 16:58 323K 
[   ]llp.ps2003-09-29 16:44 322K 
[   ]Handbook_Logic_AI_LP.dvi2002-09-05 17:32 320K 
[   ]game08draft.pdf2009-04-20 13:50 320K 
[   ]jsc92.pdf2002-09-05 17:32 318K 
[   ]lkf-2021-03-20.pdf2021-03-20 18:50 318K 
[   ]apal-games.pdf2009-08-17 15:33 316K 
[   ]lkf-2021-02-01.pdf2021-02-01 10:09 316K 
[   ]lkf-2021-03-01.pdf2021-03-01 13:26 316K 
[   ]mll.ps2002-09-05 17:34 312K 
[   ]tcs97.ps2002-09-05 17:35 309K 
[   ]pls8-part1.pdf2011-07-05 05:19 309K 
[   ]lkf-2021-03-31.pdf2021-03-31 13:25 309K 
[   ]lkf-2023-03-28.pdf2023-03-28 17:04 309K 
[   ]subdelim-long.pdf2015-09-08 12:35 304K 
[   ]ps-equality.pdf2021-06-18 12:26 304K 
[   ]pisearch04.pdf2004-09-11 10:40 303K 
[   ]tcs09.pdf2009-09-14 22:18 301K 
[   ]tcs00.ps2002-09-05 17:33 298K 
[   ]lopstr2015.pdf2015-10-16 15:20 296K 
[   ]csl23talk.pdf2023-02-15 10:35 295K 
[   ]minn2019.pdf2019-06-19 18:23 292K 
[   ]anu2019.pdf2019-05-08 02:42 292K 
[   ]iwil-2015.pdf2015-11-09 15:29 289K 
[   ]cpp11.pdf2011-10-30 19:20 288K 
[   ]appa2014.pdf2014-12-22 14:38 287K 
[   ]scsc.pdf2003-05-27 10:56 283K 
[   ]jlc91.ps2002-09-05 17:34 281K 
[   ]ppdp06.ps2006-05-25 21:23 280K 
[   ]lics2023.pdf2023-05-12 13:05 279K 
[   ]iclconference.pdf2012-04-10 11:21 277K 
[   ]cpp2015.pdf2014-12-10 16:08 276K 
[   ]Open-Access-May-2017-pages-314-315.pdf2017-07-17 15:41 273K 
[   ]nigam-jar.pdf2019-11-25 19:19 272K 
[   ]jar-draft.pdf2009-03-03 15:34 272K 
[   ]fguc04workshop.pdf2005-01-27 15:00 271K 
[   ]subdelimlncs.pdf2015-09-08 14:18 270K 
[   ]lku.pdf2010-12-13 10:49 270K 
[   ]types2020-abstract.pdf2020-02-16 19:40 270K 
[   ]tcs95.dvi2002-09-05 17:33 268K 
[   ]jacm90.pdf2002-09-05 17:32 267K 
[   ]qapl-2013.pdf2013-04-23 17:56 267K 
[   ]lc99.pdf2002-09-05 17:33 267K 
[   ]ic94.pdf2002-09-05 17:32 266K 
[   ]lics13.pdf2013-05-25 07:48 266K 
[   ]bertinoro19.pdf2019-10-07 16:15 266K 
[   ]vienna-oct-2018.pdf2018-11-02 09:10 264K 
[   ]llp.pdf2003-09-29 16:45 260K 
[   ]merlin2001.pdf2002-09-05 17:34 258K 
[   ]icdcit-2020.pdf2020-01-11 15:31 256K 
[   ]scsc.dvi2003-05-27 10:55 255K 
[   ]lkudraft.pdf2010-02-06 19:19 253K 
[   ]robust.pdf2012-01-14 13:50 252K 
[   ]tableaux02.pdf2002-09-05 17:33 250K 
[   ]jlc91.pdf2002-09-05 17:32 246K 
[   ]tcs95.pdf2002-09-05 17:35 245K 
[   ]pisearch04-rejected-concur04.pdf2004-06-07 15:44 241K 
[   ]mlpa2010.pdf2010-09-03 17:01 241K 
[   ]ppdp09.pdf2009-07-10 14:12 241K 
[   ]qfm2012.pdf2012-08-01 10:51 236K 
[   ]checking-fpc.pdf2013-05-23 05:44 232K 
[   ]lics94.ps2002-09-05 17:34 229K 
[   ]tcs97.pdf2002-09-05 17:33 228K 
[   ]proofcert-motivation.pdf2011-09-07 11:18 227K 
[   ]fcs03.pdf2003-06-19 16:33 224K 
[   ]sos05final.pdf2005-09-27 11:34 223K 
[   ]lppt-extended.pdf2019-11-19 13:37 221K 
[   ]pic.pdf2002-09-05 17:34 221K 
[   ]holp-iclp86.pdf2020-05-17 17:10 221K 
[   ]mfps05.pdf2005-05-01 23:35 220K 
[   ]tcs00.pdf2002-09-05 17:34 219K 
[   ]lfmtp18mlts-slides.pdf2018-08-09 15:45 219K 
[   ]fsttcs02.pdf2002-09-25 16:47 219K 
[   ]lfmtp08.pdf2008-06-03 06:29 218K 
[   ]jlp89.pdf2002-09-05 17:34 217K 
[   ]fics2010.pdf2010-08-21 20:35 215K 
[   ]pxtp2015.pdf2015-06-25 22:48 214K 
[   ]ijcar10.pdf2010-04-19 23:30 213K 
[   ]lics08a.pdf2008-04-12 00:46 211K 
[   ]beatcs08.pdf2008-09-16 20:09 210K 
[   ]amast02.pdf2002-09-05 17:33 210K 
[   ]llw96.pdf2002-09-05 17:34 210K 
[   ]IMPACT_publication_P86-70-lres.pdf2017-05-13 16:22 209K 
[   ]tac-draft.pdf2010-01-22 07:42 209K 
[   ]tphols03talk.pdf2003-09-19 09:22 208K 
[   ]mscs92.dvi2002-09-05 17:33 206K 
[   ]apal91.pdf2002-09-05 17:33 205K 
[   ]AbsInLP.pdf2002-09-05 17:32 204K 
[   ]ecumential2023talk.pdf2023-03-02 12:36 204K 
[   ]lics08b.pdf2008-04-12 00:46 203K 
[   ]mumall_draft_long.pdf2015-03-28 10:35 201K 
[   ]positive-perspective-draft.pdf2022-09-02 10:06 201K 
[   ]lfmtp22-positive-perspective.pdf2022-07-12 15:35 201K 
[   ]owls-march-2021.pdf2021-03-10 14:41 200K 
[   ]lap2017.pdf2017-09-20 12:03 198K 
[   ]clmps2011.pdf2014-03-13 17:13 198K 
[   ]gdri-ll.pdf2016-02-02 12:08 198K 
[   ]fpc.pdf2012-07-24 11:54 198K 
[   ]ll2016.pdf2016-11-15 11:46 197K 
[   ]StudiaLogica87.ps2002-09-05 17:32 197K 
[   ]liang09lics.pdf2009-05-29 23:31 197K 
[   ]wollic03.pdf2003-07-09 18:54 196K 
[   ]peano-and-mumall-draft.pdf2022-07-04 09:10 196K 
[   ]linearity16-slides.pdf2016-10-24 12:01 195K 
[   ]lc99.dvi2002-09-05 17:32 195K 
[   ]gil-draft.pdf2010-04-04 08:58 195K 
[   ]fcs03.dvi2003-06-11 10:44 193K 
[   ]aplas10.pdf2010-09-03 11:39 193K 
[   ]ptvs-march-2021.pdf2021-11-12 10:40 190K 
[   ]funchal2019.pdf2019-10-27 15:36 189K 
[   ]pts2019.pdf2020-12-18 13:52 187K 
[   ]lpar05.pdf2005-09-29 20:44 187K 
[   ]welp93.pdf2002-09-05 17:33 187K 
[   ]ijcar08.pdf2008-05-23 18:21 186K 
[   ]eshol05.pdf2006-09-22 17:23 184K 
[   ]jacm90.dvi2002-09-05 17:32 183K 
[   ]linearized-arithmetic-techrep.pdf2022-02-18 10:13 182K 
[   ]subexp-draft.pdf2009-05-11 22:02 181K 
[   ]jsc92.dvi2002-09-05 17:32 180K 
[   ]iclp90hodas.pdf2018-10-21 12:20 180K 
[   ]lfmtp18abella.pdf2018-05-29 09:32 178K 
[   ]andrews-festschrift-2007.pdf2008-10-20 17:27 177K 
[   ]latd2014.pdf2014-07-17 12:34 176K 
[   ]ll-school-2022.pdf2022-01-28 08:25 175K 
[   ]iclp91.pdf2002-09-05 17:34 172K 
[   ]iclp90pareschi.pdf2002-09-05 17:33 172K 
[   ]ptmc-extended-abstract.pdf2018-12-21 15:26 172K 
[   ]lics94.pdf2002-09-05 17:34 172K 
[   ]cl2000.pdf2014-11-03 16:29 171K 
[   ]tocl-nabla.dvi2004-12-10 07:52 170K 
[   ]llw96.ps2002-09-05 17:33 170K 
[   ]tlla2017-talk.pdf2017-09-08 17:23 169K 
[   ]dneg.pdf2019-01-05 10:36 169K 
[   ]blog-notation.pdf2022-11-29 10:19 168K 
[   ]csl07liang.pdf2007-06-15 13:30 168K 
[   ]fpccoq-draft.pdf2020-04-27 18:14 167K 
[   ]ProofSocietyWorkshop2018-talk.pdf2020-05-28 09:23 167K 
[   ]ProofSocietyWorkshop2018.pdf2018-09-09 08:51 167K 
[   ]acl86.ps2002-09-05 17:32 167K 
[   ]lics97.pdf2002-09-05 17:34 166K 
[   ]csl07nigam.pdf2007-06-15 13:36 166K 
[   ]GulpProde95.pdf2002-09-05 17:32 166K 
[   ]lfmtp08slides.pdf2008-07-08 17:41 165K 
[   ]cada-draft.pdf2018-04-30 07:57 164K 
[   ]csl04talk.pdf2004-12-07 10:37 164K 
[   ]ijcar20.pdf2020-06-02 12:19 161K 
[   ]lics03.ps2003-04-14 12:43 160K 
[   ]wsts.pdf2020-08-08 23:08 159K 
[   ]lics94.dvi2002-09-05 17:34 158K 
[   ]unity2010.pdf2010-03-30 15:02 157K 
[   ]ijcar06.pdf2006-06-08 10:55 157K 
[   ]unif-equality.pdf2010-05-26 09:53 157K 
[   ]pstt2010draft.pdf2010-05-26 09:52 157K 
[   ]slp86.pdf2006-11-23 07:40 155K 
[   ]ijcar06slides.pdf2006-08-24 22:43 155K 
[   ]llp.dvi2003-09-29 16:44 155K 
[   ]Upscale2018.pdf2018-10-09 11:26 155K 
[   ]icdcit2020-talk.pdf2020-01-14 16:54 154K 
[   ]csl07saurin.pdf2007-06-19 06:00 153K 
[   ]jlc91.dvi2002-09-05 17:34 153K 
[   ]proof87.pdf2016-06-14 10:18 152K 
[   ]tease-lp-2020.pdf2020-05-28 18:44 152K 
[   ]lpworkshop92.pdf2002-09-05 17:34 152K 
[   ]bertinoro05.pdf2005-12-15 19:55 149K 
[   ]lfmtp18abella-slides.pdf2018-08-09 15:45 148K 
[   ]lfmtp18mlts.pdf2018-05-29 07:12 147K 
[   ]wpl89.pdf2007-12-20 15:59 146K 
[   ]welp93.ps2002-09-05 17:35 145K 
[   ]personal-perspective06.ps2005-12-16 09:17 145K 
[   ]acheck.pdf2015-11-01 21:57 145K 
[   ]structurededuction05.pdf2005-07-15 09:49 145K 
[   ]unity2010old.pdf2010-03-04 17:48 144K 
[   ]lpar07final.pdf2007-08-02 09:39 143K 
[   ]ic94.dvi2002-09-05 17:32 143K 
[   ]sd2017talk.pdf2017-09-08 17:23 143K 
[   ]aps08slides.pdf2008-11-22 18:16 142K 
[   ]csl07talk.pdf2008-04-11 07:49 141K 
[   ]rclp91.pdf2002-09-05 17:33 139K 
[   ]tableaux02.dvi2002-09-05 17:34 138K 
[   ]banff89.pdf2008-09-19 09:49 138K 
[   ]proof87.ps2007-10-14 22:29 137K 
[   ]types16-abstract.pdf2016-03-04 07:08 135K 
[   ]hapoc2019.pdf2019-10-29 19:01 134K 
[   ]acl86.pdf2003-12-02 12:48 133K 
[   ]ppdp06.pdf2006-05-25 21:23 133K 
[   ]mll.pdf2002-09-05 17:34 132K 
[   ]security.pdf2002-09-05 17:33 130K 
[   ]fcs03-slides.pdf2003-06-20 13:18 130K 
[   ]mljf.pdf2015-04-26 17:47 129K 
[   ]cade2007.pdf2007-05-11 09:02 129K 
[   ]jlp89.dvi2002-09-05 17:34 129K 
[   ]sos08.pdf2008-07-07 02:24 128K 
[   ]apal91.dvi2002-09-05 17:32 128K 
[   ]PEPSRelations2008.pdf2009-02-12 15:12 127K 
[   ]elpi-coq.pdf2020-06-07 09:55 127K 
[   ]iclp88.pdf2002-09-05 17:33 127K 
[   ]lics03.pdf2003-04-14 12:43 126K 
[   ]slp87.pdf2002-09-05 17:33 126K 
[   ]iclp89.pdf2002-09-05 17:32 125K 
[   ]lambda-trees.pdf2002-09-05 17:34 124K 
[   ]tcs97.dvi2002-09-05 17:33 124K 
[   ]lics97.ps2002-09-05 17:34 124K 
[   ]lacl96.pdf2002-09-05 17:34 123K 
[   ]vision2010.pdf2010-04-14 19:04 122K 
[   ]slp87.ps2002-09-05 17:34 122K 
[   ]tcs00.dvi2002-09-05 17:33 121K 
[   ]blog-origin.pdf2022-11-29 10:19 119K 
[   ]AbsInLP.dvi2002-09-05 17:33 113K 
[   ]tot-lics-91.pdf2011-07-20 17:11 111K 
[   ]encyclopedia.pdf2013-08-23 13:41 110K 
[   ]jar-fpc.tar2016-04-20 18:01 110K 
[   ]fpc-support.tar2016-05-02 11:28 110K 
[   ]tcs08trackb.pdf2008-04-21 13:55 110K 
[   ]linearity-tlla-2022-subm.pdf2023-04-06 10:46 108K 
[   ]lfmtp08abs.pdf2008-06-02 22:32 108K 
[   ]iclp89.ps2002-09-05 17:33 108K 
[   ]lambda-trees.ps2002-09-05 17:34 106K 
[   ]bertinoro05slides.pdf2006-02-28 07:49 104K 
[   ]jsl-11-96.pdf2013-07-08 10:47 104K 
[   ]gazeau-report.pdf2017-05-30 15:58 104K 
[   ]pic.dvi2002-09-05 17:34 103K 
[   ]hapop2018.pdf2018-04-04 17:24 103K 
[   ]StudiaLogica87.dvi2002-09-05 17:32 101K 
[TXT]miller-date_bib.html2024-01-10 17:46 99K 
[TXT]miller-date.html2024-01-08 11:57 97K 
[   ]GulpProde95.ps2002-09-05 17:33 95K 
[   ]spt-and-lp.pdf2020-05-15 13:36 86K 
[   ]ProofSocietyWorkshop2018-abstract.pdf2018-09-07 16:05 85K 
[   ]lfmtp13.pdf2013-07-18 17:57 84K 
[   ]tcs00errata.pdf2008-09-30 07:26 84K 
[   ]lics03.dvi2003-04-14 12:43 79K 
[   ]my.bib2021-10-04 12:51 77K 
[   ]dagstuhl2016-slides.pdf2016-10-18 10:40 76K 
[TXT]pubs.html2024-03-06 19:42 75K 
[   ]ijcar06.dvi2006-06-08 10:35 72K 
[   ]lppt-draft.pdf2018-01-01 10:28 72K 
[   ]andre-fest.pdf2021-10-01 09:50 70K 
[   ]acl86.dvi2002-09-05 17:32 70K 
[   ]proof-trust-2019.pdf2019-07-16 07:51 68K 
[   ]fsttcs02.dvi2002-09-25 16:14 67K 
[   ]llw96.dvi2002-09-05 17:33 67K 
[   ]rclp91.dvi2002-09-05 17:34 66K 
[   ]csl04abstract.pdf2018-11-16 14:51 65K 
[   ]cl2000.dvi2014-11-03 16:29 63K 
[   ]personal-perspective06.pdf2005-12-16 09:17 62K 
[   ]tlla2017.pdf2017-07-21 12:31 62K 
[   ]iclp88.dvi2002-09-05 17:33 61K 
[   ]pls8-abstract.pdf2011-07-09 05:58 58K 
[   ]clmps1987.pdf2015-08-05 07:55 58K 
[   ]iclp91.dvi2002-09-05 17:33 56K 
[   ]sd2017.pdf2017-07-26 16:33 55K 
[   ]iclp90pareschi.dvi2002-09-05 17:33 54K 
[   ]pts2019abstract.pdf2019-04-10 09:29 54K 
[   ]tphols03talk.dvi2003-09-19 09:22 52K 
[   ]iclp89.dvi2002-09-05 17:33 48K 
[   ]iclp90hodas.dvi2004-02-04 06:38 48K 
[   ]apal91-errata.pdf2002-09-05 17:32 47K 
[   ]lpworkshop92.dvi2002-09-05 17:33 45K 
[   ]stan.ps2003-02-22 13:13 41K 
[   ]mll.dvi2002-09-05 17:34 40K 
[TXT]GulpProde95.html2007-09-16 12:06 29K 
[TXT]personal-perspective06.html2024-01-08 11:57 26K 
[   ]lambda-trees.dvi2002-09-05 17:34 26K 
[TXT]sdcr1996.html2020-08-21 09:37 23K 
[   ]wsts.dvi2019-12-30 14:02 21K 
[TXT]talks.html2024-03-09 10:40 19K 
[TXT]encyclopedia-old.html2014-03-25 09:07 19K 
[TXT]encyclopedia.html2024-01-08 11:57 17K 
[TXT]BoyerMoore.html2024-01-08 11:57 13K 
[TXT]ACM Computing Surveys _ Logical Foundations for Open System Design.html2024-01-03 15:38 12K 
[TXT]short.html2024-01-08 11:57 7.1K 
[TXT]books.html2024-01-08 11:57 6.3K 
[TXT]ProofTheoryAsAlternative.html2024-01-03 15:38 5.6K 
[TXT]SterlingShapiro.html2024-01-08 11:57 5.4K 
[TXT]pls8.html2024-01-08 11:57 4.4K 
[   ]apal91-errata.dvi2002-09-05 17:33 2.8K 
[TXT]tot-lics-91.html2013-11-15 10:59 2.0K 
[TXT]tcs00.errata.html2024-01-08 11:57 1.8K 
[TXT]bib.css2008-12-27 08:30 612  
[TXT]acm-copyright.html2006-08-28 09:49 216  
[TXT]outtake.html2004-12-10 16:19 148  
[TXT]papers1990s.html2022-11-02 18:36 139  
[TXT]papers1980s.html2024-01-10 17:46 139  
[DIR]slides/2002-09-05 17:53 -  
[DIR]pba-reception/2024-01-08 11:57 -  
[DIR]lProlog/2002-09-05 17:53 -  
[DIR]iscl00/2002-09-05 17:53 -  
[DIR]ic94-code/2024-01-08 11:57 -  
[DIR]cpp11panel/2011-12-14 16:53 -  
[DIR]andrews-festschrift-2007/2008-10-20 17:27 -  
[DIR]ComputNet95/2024-01-08 11:57 -  
[DIR]AIencyclopedia-DELETE-ME/2013-08-23 13:37 -  

Apache Server at www.lix.polytechnique.fr Port 80