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