Computational Adequacy in an Elementary Topos (1999)

Cached

Download Links

by Alex K. Simpson
Venue:Proceedings CSL ’98, Springer LNCS 1584
Citations:9 - 4 self