70443042

a

70443042 Huet, G\'erard P. Design issues for a computer-aided environment for constructive mathematics (Abstract) DISCO, 55 (1990). 1990 EN

doi:10.1007/3-540-52531-9_123