Formalising Bitonic Sort in Type Theory
Paper i proceeding, 2005
Författare
Ana Bove
Chalmers, Data- och informationsteknik, Datavetenskap
Thierry Coquand
Göteborgs universitet
Publicerad i
Types for Proofs and Programs TYPES 2004
Vol. LNCS 3839 s. 82-97
Kategorisering
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)