Authors: BLANC G LIOGIER K

Citation: G. Blanc et K. Liogier, CONSTRUCTIVE NEGATION AND INTERNAL AXIOMA TICS, Informatique theorique et applications, 31(5), 1997, pp. 411-428