for data: derivatives of data structures (0)

by Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
Venue:Fundamenta Informaticae