Back to Results
First PageMeta Content
Category theory / Binary operations / Functional programming / F-coalgebra / Initial algebra / Coalgebra / Function / Cartesian product / Exponentiation / Mathematics / Abstract algebra / Type theory


Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999
Add to Reading List

Document Date: 2003-04-29 07:49:48

Open Document

File Size: 131,44 KB

Share Result on Facebook

Company

ESPRIT Working Group / /

/

Facility

ZF Set Theory∗ Lawrence C. Paulson lcp@cl.cam.ac.uk Computer Laboratory / University of Cambridge / /

IndustryTerm

possible solution / /

Organization

University of Cambridge / ZF Set Theory∗ Lawrence C. Paulson lcp@cl.cam.ac.uk Computer Laboratory / /

Person

Daniele Turi / Peter Aczel / Thomas Forster / Andrew Pitts / K. Mukai / /

Technology

functional programming / /

SocialTag