Computational Adequacy in an Elementary Topos. Presented at CSL (1998)

by A K Simpson