Posts By: andrejbauer
| Date | Post | Topic |
| 04/23/2009 | Re-quibble: and I said so | Andrej Bauer on PLD |
| 06/16/2008 | PL Zoo | Processing.js |
| 05/24/2007 | No effective topos here | Synthetic Computability |
| 03/06/2007 | Please use a newer link to the paper | Propositions as [Types] |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |