Computational adequacy in an elementary topos (1999)

by A Simpson
Venue:In Computer Science Logic, Springer LNCS 1585