Back to Results
First PageMeta Content
Mathematical 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, Germany
Add to Reading List

Document Date: 2015-01-25 16:18:54

Open Document

File Size: 255,73 KB

Share Result on Facebook
UPDATE