First Page | Document Content | |
---|---|---|
![]() Date: 2012-04-24 12:00:17Proof theory Dependently typed programming Logic in computer science Type theory Riemann surfaces Mathematics Philosophy of mathematics CurryHoward correspondence Logic Orbifold | Add to Reading List |