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 |