Formalising Bitonic Sort in Type Theory
Paper in proceeding, 2005
Author
Ana Bove
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Thierry Coquand
University of Gothenburg
Types for Proofs and Programs TYPES 2004
Vol. LNCS 3839 82-97
Subject Categories
Computer Science