On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
Paper i proceeding, 2008

Författare

Thierry Coquand

Göteborgs universitet

Peter Dybjer

Chalmers, Data- och informationsteknik, Datavetenskap

FLOPS 2008

3-13

Ämneskategorier

Datavetenskap (datalogi)