First Page | Document Content | |
---|---|---|
![]() Date: 2013-09-23 13:44:35Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification | Add to Reading List |