Representations of order function types as terminal coalgebras (2001)

by Thorsten Altenkirch
Venue:In [1