Formalising Bitonic Sort in Type Theory
Paper in proceedings, 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

More information

Created

10/6/2017