Index of /~mhe/papers/DP

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Booleans.agda24-Nov-2009 11:48 2.1K 
[   ]Choice.agda24-Nov-2009 11:48 293  
[TXT]DP.agda24-Nov-2009 11:48 7.0K 
[   ]EmptySet.agda24-Nov-2009 11:48 330  
[   ]Equality.agda24-Nov-2009 11:48 428  
[   ]Logic.agda24-Nov-2009 11:48 1.4K 
[   ]LogicalFacts.agda24-Nov-2009 11:48 871  
[   ]dp-preprint.pdf29-Jan-2010 21:17 164K 
[   ]lablunch-birmingham-summary-of-notions.pdf26-Jan-2010 13:04 23K 
[   ]lablunch-birmingham.pdf26-Jan-2010 13:04 272K 
[TXT]readme25-Nov-2009 11:38 231  

Apache Server at staffweb-lb-1.cs.bham.ac.uk Port 80