Babaev, A. A. and Solovjev, S. V., A coherence thorem for canonical morphism in cartesian closed categories. Journal of Soviet Mathematics, Vol. 20, pp. 2263--2279,  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Uniqueness of Normal Proofs in $\{\rightarrow.. - Aoto, Ono (Correct)
Non-Uniqueness Of Normal Proofs for Minimal Formulas in.. - Aoto, Ono (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC