Data types and computability via final coalgebras (2004)

by Daniel Hausmann
Citations:2 - 0 self