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: | 12 - 7 self |
Document Versions
| A Concrete Final Coalgebra Theorem for ZF Set Theory –Lawrence C. Paulson — 1994 — Types for Proofs and Programs: International Workshop TYPES ’94, LNCS 996 |
