Coinductive Streams in Monoidal Categories
From MaRDI portal
Publication:6422027
arXiv2212.14494MaRDI QIDQ6422027
Mario Román, Elena di Lavore, Giovanni de Felice
Publication date: 29 December 2022
This page was built for publication: Coinductive Streams in Monoidal Categories