Index of /user/avigad/Talks

 Name                    Last modified       Size  Description

 Parent Directory        18-May-2012 16:01      -  
 admissible.pdf          18-May-2012 16:01   107k  
 admissible2.pdf         18-May-2012 16:01   101k  
 asl04.pdf               18-May-2012 16:01   213k  
 beijing.pdf             18-May-2012 16:01   142k  
 dagstuhl.pdf            18-May-2012 16:01   174k  
 dc.pdf                  18-May-2012 16:01   112k  
 decision_procedures.pdf 18-May-2012 16:01    94k  
 definitions2.pdf        18-May-2012 16:01    78k  
 distances.pdf           18-May-2012 16:01    88k  
 forcing.pdf             18-May-2012 16:01   106k  
 forcing_talk2.pdf       18-May-2012 16:01   116k  
 geometry.pdf            18-May-2012 16:01   476k  
 heidelberg.pdf          18-May-2012 16:01   140k  
 herbrand2.pdf           18-May-2012 16:01    93k  
 interpreting.pdf        18-May-2012 16:01    88k  
 inverting2.pdf          18-May-2012 16:01   125k  
 ioannina.pdf            18-May-2012 16:01   261k  
 leiden.pdf              18-May-2012 16:01   130k  
 mit.pdf                 18-May-2012 16:01   156k  
 newyork.pdf             18-May-2012 16:01   130k  
 nonstandard2.pdf        18-May-2012 16:01    94k  
 paris.pdf               18-May-2012 16:01    96k  
 paris_functions.pdf     18-May-2012 16:01   164k  
 pitt.pdf                18-May-2012 16:01   132k  
 realizability.pdf       18-May-2012 16:01    57k  
 semantic.pdf            18-May-2012 16:01   128k  
 sheaves.pdf             18-May-2012 16:01    87k  
 simplicity.pdf          18-May-2012 16:01    79k  
 spain.pdf               18-May-2012 16:01    72k  
 stanford.pdf            18-May-2012 16:01    96k  
 steinhaus.htm           18-May-2012 16:01     1k  
 survey1.pdf             18-May-2012 16:01   107k  
 sweden.pdf              18-May-2012 16:01   122k  
 tautologies.pdf         18-May-2012 16:01    72k  
 type_inference.pdf      18-May-2012 16:01   156k  
 updatetalk.pdf          18-May-2012 16:01   116k  
 verification.pdf        18-May-2012 16:01    71k  
 vig.pdf                 18-May-2012 16:01   124k