nLab Varmo Vene

• personal page

• GoogleScholar page

• ResearchGate page

Selected writings

On parametricity and strong dinatural transformations:

• Varmo Vene: Parametricity and Strong Dinaturality, talk notes (2006) [pdf, pdf]

On comonads in computer science:

• Tarmo Uustalu, Varmo Vene, Comonadic Notions of Computation, Electronic Notes in Theoretical Computer Science 203 5 (2008) 263-284 [doi:10.1016/j.entcs.2008.05.029]

category: people