longlivedeath + dependent-types   19

Oregon Programming Languages Summer School
Видеоуроки по Coq (и сопутствующей теории).
videos  towatch  dependent-types  programming-languages-research 
january 2011 by longlivedeath
Intuitionistic Type Theory
A site for intuitionistic type theory and software architecture
july 2010 by longlivedeath
Interactive Theorem Proving for Agda Users
This page contains the slides of the module "Interactive Theorem Proving", a third year/postgraduate course held at Swansea University, with a guide to material specifically directed at Agda.
theorem-proving  agda  dependent-types  courses 
march 2009 by longlivedeath

Copy this bookmark: