Foundations and Applications of Higher-Dimensional Directed Type Theory Robert Harper and Daniel R. Licata - Robert Howard - Document - PDFSEARCH.IO

First Page	Meta Content
	Foundations and Applications of Higher-Dimensional Directed Type Theory Robert Harper and Daniel R. Licata Add to Reading List Document Date: 2011-05-26 15:05:42 Open Document File Size: 237,39 KB Share Result on Facebook IndustryTerm software verification using domain-specific specification logics / distributed computing / proof search / software development / analogous applications / software verification / domain-specific type systems / / Organization M El / / Person Beluga / Delphin / Twelf / Daniel R. Licata / Directed Type Theory Robert Harper / / Position programmer / / SocialTag Type theory Logic in computer science Algebraic topology Dependently typed programming Proof theory Curry–Howard correspondence Category theory Equivalence of categories Sheaf Mathematics

Foundations and Applications of Higher-Dimensional Directed Type Theory Robert Harper and Daniel R. LicataAdd to Reading List