Classical mathematics for a constructive world.

Sat, 01 Jan 2011 00:00:00 +0100

Russell O'Connor:
Classical mathematics for a constructive world. Math. Struct. Comput. Sci. 21(4): 861-882 (2011)