Unifying Recursive and Co-recursive Definitions in Sheaf Categories.

Pietro Di Gianantonio, Marino Miculan

Browse the full FOSSACS paper archive.