Conventional and linear types in a logic of coalgebras (1993)

by B Jacobs