User:Matěj Grabovský/Articles

Here are some ideas for interesting topics that don't have an article yet (as of 13:32, 10 March 2016 (UTC)):


 * Dijkstra monad
 * observational type theory
 * Extended Calculus of Constructions (ECC)
 * UTT
 * Lawvere's Elementary Theory of the Category of Sets (ETCS)

Some articles which could be improved:


 * pure type system
 * Calculus of Constructions