Formalising Bitonic Sort in Type Theory
Paper i proceeding, 2005

Författare

Ana Bove

Chalmers, Data- och informationsteknik, Datavetenskap

Thierry Coquand

Göteborgs universitet

Types for Proofs and Programs TYPES 2004

Vol. LNCS 3839 82-97

Ämneskategorier

Datavetenskap (datalogi)