Martin Hyland

Identifiers

• name variant Martin Hyland 0.60 · backfill

Papers (4)

1. Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures math.CT · 2016 · author #3
2. Hopf measuring comonoids and enrichment math.CT · 2015 · author #1
3. Elements of a theory of algebraic theories math.CT · 2013 · author #1
4. Classical lambda calculus in modern dress math.CT · 2012 · author #1

Mentions

• 1509.07632 #1 · backfill · confidence 0.70 Martin Hyland
• 1311.7642 #1 · backfill · confidence 0.70 Martin Hyland
• 1211.5762 #1 · backfill · confidence 0.70 Martin Hyland

Frequent Coauthors

• Christina Vasilakopoulou 1 shared papers
• Glynn Winskel 1 shared papers
• Ignacio Lopez Franco 1 shared papers
• Marcelo Fiore 1 shared papers
• Nicola Gambino 1 shared papers