Programming in Martin-Lof type theory: Uni - A nontrivial example (1999)

by A Bove
Venue:Department of Computer Science, Chalmers University of Technology