## A Concrete Final Coalgebra Theorem for ZF Set Theory (1994)

by
Lawrence C. Paulson

Venue: | Types for Proofs and Programs: International Workshop TYPES ’94, LNCS 996 |

Citations: | 16 - 7 self |