On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
Paper in proceedings, 2008

Author

Thierry Coquand

University of Gothenburg

Peter Dybjer

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

FLOPS 2008

3-13

Subject Categories

Computer Science

More information

Created

10/7/2017