Ph.D student in Mathematics who loves (pretty much) every bit of it.
3 Intuitionistic Linear Logic apr 11 '14
3 If a Lie algebra L decomposes as a direct sum of its derived subalgebra and its center, is L reductive? jan 21
1 Girard's System $F$ (also named Polymorphism) mar 11 '14
1 Introduction to functional interpretations mar 20 '14
1 Prove the following Statement is a tautology may 5 '14