Coalgebras as types determined by their elimination rules

Anton Setzer

pp. 351-369


This document is unfortunately not available for download at the moment.

Not implemented yet !