First Page | Document Content | |
---|---|---|
Date: 2015-01-25 16:18:54Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor | Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, GermanyAdd to Reading ListSource URL: people.mpi-inf.mpg.deDownload Document from Source WebsiteFile Size: 255,73 KBShare Document on Facebook |
Philosophy of Mathematics SIGMAA CharterDocID: 1vqOI - View Document | |
POMSIGMAA Newsletter Spring/Summer, 2008 Greetings from the Executive Board of POMSIGMAA, the Special Interest Group of the Mathematical Association of America for the Philosophy of Mathematics. We have newsletters twiDocID: 1vfZq - View Document | |
Philosophy of Mathematics SIGMAA CharterDocID: 1vcBM - View Document | |
Announcement Novembertagung on the History of Mathematics 2017 Theme: “Tools for research in mathematics, history and philosophy” in Brussels, Belgium November 2-4, 2017DocID: 1v2tx - View Document | |
Q-Curves with Complex Multiplication Ley Wilson A thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Pure MathematicsDocID: 1v1R7 - View Document |