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

Cached

Download Links

by Lawrence C. Paulson
Venue:Types for Proofs and Programs: International Workshop TYPES ’94, LNCS 996
Citations:16 - 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