Items where authors include "Hyland, M"

Article

Fiore, M, Gambino, N orcid.org/0000-0002-4257-3590, Hyland, M et al. (1 more author) (2018) Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures. Selecta Mathematica, New Series, 24 (3). pp. 2791-2830. ISSN 1022-1824

Proceedings Paper

Gambino, N orcid.org/0000-0002-4257-3590 and Hyland, M (2004) Wellfounded Trees and Dependent Polynomial Functors. In: Lecture Notes in Computer Science. TYPES 2003: International Workshop on Types for Proofs and Programs, 30 Apr - 04 May 2003, Torino, Italy. Springer Nature , pp. 210-225. ISBN 978-3-540-22164-7