Martin Hyland
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
1992–2018
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CSL | The True Concurrency of Herbrand's Theorem. | Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel |
| 2007 | CSL | The Ackermann Award 2007. | Martin Grohe, Martin Hyland, Johann A. Makowsky, Damian Niwinski |
| 2007 | LICS | Categorical Combinatorics for Innocent Strategies. | Russell Harmer, Martin Hyland, Paul-Andr Mellis |
| 2004 | CSL | Abstract Interpretation of Proofs: Classical Propositional Calculus. | Martin Hyland |
| 2003 | MFPS | Pseudo-distributive Laws. | Eugenia Cheng, Martin Hyland, John Power |
| 2002 | CSL | Designs, Disputes and Strategies. | Claudia Faggian, Martin Hyland |
| 2002 | LICS | Games on Graphs and Sequentially Realizable Functionals. | Martin Hyland, Andrea Schalk |
| 2000 | PPDP | Symmetric monoidal sketches. | Martin Hyland, John Power |
| 1992 | CSL | Linear Lambda-Calculus and Categorial Models Revisited. | P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland |