Martin Hyland
University of Cambridge
H-index: 39
Europe-United Kingdom
Top articles of Martin Hyland
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
The linear-non-linear substitution 2-monad | arXiv preprint arXiv:2005.09559 | Martin Hyland Christine Tasson | 2020/5/19 |