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