Proof-theoretical analysis of order relations
Journal article, 2004
Author
S. Negri
University of Helsinki
J. von Plato
University of Helsinki
Thierry Coquand
University of Gothenburg
Archive for Mathematical Logic
0933-5846 (ISSN) 1432-0665 (eISSN)
Vol. 43 3 297-309Subject Categories
Computer and Information Science
DOI
10.1007/s00153-003-0209-8