Posts By: Andreas Schropp
| Date | Post | Topic |
| 05/22/2012 | What about Reynolds? | Encoding System Fw in predicative dependent type theory |
| 05/24/2012 | Paradoxical term is paradoxical in his context | Encoding System Fw in predicative dependent type theory |
| 03/25/2010 | Isabelle has proof terms | On the (Alleged) Value of Proof for Assurance |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |