Chapter 1 Coalgebras as Types determined by their Elimination Rules

by Anton Setzer