On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
Paper in proceeding, 2008
Author
Andreas Abel
Thierry Coquand
University of Gothenburg
Peter Dybjer
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
FLOPS 2008
3-13
Subject Categories
Computer Science