A semantics of evidence for classical arithmetic (1995)

by T Coquand
Venue:Journal of Symbolic Logic