A Category Theory Based (Co)datatype Package for Isabelle/HOL (2012)

by D Traytel