Enriched categories: Applications in geometry and logic

    Project: Research

    Conference proceeding contribution

    Search results

    • 2021

      Stream processors and comodels

      Garner, R., 2021, 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Gadducci, F. & Silva, A. (eds.). Germany: Dagstuhl Publishing, p. 15:1–15:17 17 p. 15

      Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

      Open Access
      1 Citation (Scopus)