Index of /~mhe/dialogue

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]dialogue-lambda-internal.html05-Jun-2023 12:45 882K 
[TXT]church-dialogue.html05-Jun-2023 12:45 202K 
[TXT]church-dialogue-internal.html05-Jun-2023 12:45 1.0M 
[TXT]laconic-dialogue.html05-Jun-2023 12:45 506K 
[TXT]dialogue.html05-Jun-2023 12:45 638K 
[TXT]dialogue-without-oracle.html05-Jun-2023 12:45 349K 
[TXT]dialogue-to-brouwer.html05-Jun-2023 12:45 76K 
[TXT]dialogue-lambda.html05-Jun-2023 12:45 509K 
[   ]church-dialogue-internal.agdai16-May-2023 16:50 610K 
[TXT]dialogue-lambda.lagda04-Jan-2020 18:09 22K 
[TXT]dialogue-lambda-internal.lagda04-Jan-2020 11:34 35K 
[TXT]church-dialogue.lagda04-Jan-2020 11:33 7.5K 
[TXT]church-dialogue-internal.lagda04-Jan-2020 11:32 24K 
[TXT]laconic-dialogue.lagda04-Jan-2020 11:32 18K 
[TXT]dialogue.lagda04-Jan-2020 11:31 75K 
[   ]dialogue-to-brouwer.agda26-Feb-2017 20:44 3.5K 
[TXT]Agda.css17-May-2015 11:35 1.2K 
[TXT]dialogue-without-oracle.agda14-Mar-2015 14:58 13K 
[TXT]readme03-Jun-2013 11:05 197  
[TXT]do03-Jun-2013 11:05 307  
[   ]dialogue.tex03-Jun-2013 11:05 155K 
[   ]dialogue.pdf03-Jun-2013 11:05 564K 

Apache Server at staffweb-lb-2.cs.bham.ac.uk Port 443