Search Results for 'dependentsumanddepen'

dependentsumanddepen published presentations and documents on DocSlides.

Secondly,weshowhowpolynomialfunctorshavefreemonads,andthesefreemonadsa

by tatiana-dople

1Hereandinthefollowing,whenwerequiretheexistenceof...