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 |