The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Hyland: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
    Linear Lambda-Calculus and Categorial Models Revisited. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:61-84 [Conf]
  2. Claudia Faggian, Martin Hyland
    Designs, Disputes and Strategies. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:442-457 [Conf]
  3. Martin Hyland
    Abstract Interpretation of Proofs: Classical Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:6-21 [Conf]
  4. Nick Benton, Martin Hyland
    Traced pre-monoidal categories. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:12-19 [Conf]
  5. Martin Hyland, Gordon D. Plotkin, John Power
    Combining Computational Effects: commutativity & sum. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:474-484 [Conf]
  6. Martin Hyland, Andrea Schalk
    Games on Graphs and Sequentially Realizable Functionals. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:257-264 [Conf]
  7. Martin Hyland, John Power
    Symmetric monoidal sketches. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:280-288 [Conf]
  8. P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
    A Term Calculus for Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:75-90 [Conf]
  9. Nicola Gambino, Martin Hyland
    Wellfounded Trees and Dependent Polynomial Functors. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:210-225 [Conf]
  10. Martin Hyland, Valeria de Paiva
    Full Intuitionistic Linear Logic (extended abstract). [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:64, n:3, pp:273-291 [Journal]
  11. Martin Hyland
    Variations on Realizability. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
  12. Martin Hyland, John Power
    Pseudo-commutative Monads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  13. Martin Hyland, John Power
    Two-dimensional linear algebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  14. Martin Hyland, John Power
    Symmetric Monoidal Sketches and Categories of Wirings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:100, n:, pp:31-46 [Journal]
  15. Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini
    A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:43-57 [Journal]
  16. Martin Hyland, John Power
    The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:437-458 [Journal]
  17. Nick Benton, Martin Hyland
    Traced Premonoidal Categories. [Citation Graph (0, 0)][DBLP]
    ITA, 2003, v:37, n:4, pp:273-299 [Journal]
  18. Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban
    Categorical proof theory of classical propositional calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:364, n:2, pp:146-165 [Journal]
  19. Martin Hyland, John Power
    Discrete Lawvere theories and computational effects. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:1-2, pp:144-162 [Journal]
  20. Martin Hyland, Gordon D. Plotkin, John Power
    Combining effects: Sum and tensor. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:357, n:1-3, pp:70-99 [Journal]
  21. Martin Hyland, Andrea Schalk
    Glueing and orthogonality for models of linear logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:1/2, pp:183-231 [Journal]
  22. Martin Hyland, Andrea Schalk
    Abstract Games for Linear Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  23. Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power
    Combining algebraic effects with continuations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:20-40 [Journal]
  24. Martin Grohe, Martin Hyland, Johann A. Makowsky, Damian Niwinski
    The Ackermann Award 2007. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:589-597 [Conf]
  25. Russ Harmer, Martin Hyland, Paul-André Melliès
    Categorical Combinatorics for Innocent Strategies. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:379-388 [Conf]

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002