Posts By: codyroux
| Date | Post | Topic |
| 10/29/2010 | Another reference | Erasure and Polymorphism in Pure Type Systems |
| 09/28/2010 | Coq is not a traditionnal programming language | obj vs. ml vs. coq (fight?) |
| 09/28/2010 | Type:Type | Omega - Language of the Future |
| 07/21/2010 | You could also look at | Is lambda calculus a logic? |
| 07/03/2010 | Yes | An intuitionistic logic that proves Markov's principle |
| 06/25/2010 | Map theory | A lambda calculus with arbitrary set primitives |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |