Di Gianantonio Pietro

Latest

• Unifying Recursive and Co-recursive Definitions in Sheaf Categories
• A Unifying Approach to Recursive and Co-recursive Definitions