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