Authors: Coquand, T Persson, H

Citation: T. Coquand et H. Persson, Valuations and Dedekind's Prague theorem, J PURE APPL, 155(2-3), 2001, pp. 121-129

Authors: Coquand, T Palmgren, E

Citation: T. Coquand et E. Palmgren, Intuitionistic choice and classical logic, ARCH MATH L, 39(1), 2000, pp. 53-74

Authors: Coquand, T Sadocco, S Sambin, G Smith, JM

Citation: T. Coquand et al., Formal topologies on the set of first-order formulae, J SYMB LOG, 65(3), 2000, pp. 1183-1192

Authors: Coquand, T

Citation: T. Coquand, A Boolean model of ultrafilters, ANN PUR APP, 99(1-3), 1999, pp. 231-239