MoL-2013-25: Anthony Renard A Final Coalgebra Theorem in the Context of Algebraic Set Theory 1.Full Text, 2.Abstract. < Back
