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
Published in
Archive for Mathematical Logic
0933-5846 (ISSN) 1432-0665 (eISSN)
Vol. 43 Issue 3 p. 297-309Categorizing
Subject Categories (SSIF 2011)
Computer and Information Science
Identifiers
DOI
10.1007/s00153-003-0209-8