an:03702641
Zbl 0449.03054
Mints, G. E.
Closed categories and the theory of proofs
EN
J. Sov. Math. 15, 45-62 (1981).
00145439
1981
j
03F99 18A15 18D15
coherence theorem for canonical morphisms; equality of canonical morphisms; decision procedure; thinning rule; lambda language; proof theory; theory of proofs
Zbl 0368.02036