dependent-types hoare-logic asked Mar 26 '16 at 7:01

category-theory homotopy-theory type-theory asked Dec 7 '14 at 7:44

type-theory inductive-datatypes asked Apr 7 '16 at 19:17

types compilation type-erasure agda type-theory asked Apr 4 '16 at 2:54

type-theory asked Apr 1 '16 at 17:02