Final Coalgebras as Greatest Fixed Points in ZF Set Theory (1999)

by Lawrence C. Paulson , L. C. Paulson
Citations:2 - 2 self