Towards constructive homological algebra in type theory
Paper i proceeding, 2007

Författare

Thierry Coquand

Göteborgs universitet

Arnaud Spiwack

Göteborgs universitet

Proceeding of Calculemus 2007

Ämneskategorier

Data- och informationsvetenskap