Martin Hyland - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2018

The True Concurrency of Herbrand's TheoremAurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel. csl 2018: [doi]

2017

Foreword for special issue of APAL for GaLoP 2013Martin Hyland, Guy McCusker, Nikos Tzevelekos. APAL, 168(2):233, 2017. [doi]

2014

Turing Centenary Conference: How the World ComputesS. Barry Cooper, Anuj Dawar, Martin Hyland, Benedikt Löwe. APAL, 165(9):1353-1354, 2014. [doi]

Towards a Notion of Lambda MonoidMartin Hyland. ENTCS, 303:59-77, 2014. [doi]

2012

Computability in Europe 2010Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo. APAL, 163(6):621-622, 2012. [doi]

2011

Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell KellyGeorge Janelidze, Martin Hyland, Michael Johnson, Peter T. Johnstone, Stephen Lack, Ross Street, Walter Tholen, Richard J. Wood. acs, 19(1):1-7, 2011. [doi]

2010

Some reasons for generalising domain theoryMartin Hyland. mscs, 20(2):239-265, 2010. [doi]

2007

2006

Categorical proof theory of classical propositional calculusGianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban. TCS, 364(2):146-165, 2006. [doi]

Combining effects: Sum and tensorMartin Hyland, Gordon D. Plotkin, John Power. TCS, 357(1-3):70-99, 2006. [doi]

A Category Theoretic Formulation for Engeler-style Models of the Untyped lambdaMartin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini. ENTCS, 161:43-57, 2006. [doi]

Discrete Lawvere theories and computational effectsMartin Hyland, John Power. TCS, 366(1-2):144-162, 2006. [doi]

2004

Symmetric Monoidal Sketches and Categories of WiringsMartin Hyland, John Power. ENTCS, 100:31-46, 2004. [doi]

Abstract Interpretation of Proofs: Classical Propositional CalculusMartin Hyland. csl 2004: 6-21 [doi]

2003

Traced Premonoidal CategoriesNick Benton, Martin Hyland. ita, 37(4):273-299, 2003. [doi]

Pseudo-distributive LawsEugenia Cheng, Martin Hyland, John Power. mfps 2003: 227-245 [doi]

Wellfounded Trees and Dependent Polynomial FunctorsNicola Gambino, Martin Hyland. TYPES 2004: 210-225 [doi]

Glueing and orthogonality for models of linear logicMartin Hyland, Andrea Schalk. TCS, 294(1/2):183-231, 2003.

2002

Traced pre-monoidal categoriesNick Benton, Martin Hyland. fics 2002: 12-19

Designs, Disputes and StrategiesClaudia Faggian, Martin Hyland. csl 2002: 442-457 [doi]

Combining Computational Effects: commutativity & sumMartin Hyland, Gordon D. Plotkin, John Power. ifipTCS 2002: 474-484

Games on Graphs and Sequentially Realizable FunctionalsMartin Hyland, Andrea Schalk. lics 2002: 257-264 [doi]

2001

Two-dimensional linear algebraMartin Hyland, John Power. ENTCS, 44(1):227-240, 2001. [doi]

Pseudo-commutative MonadsMartin Hyland, John Power. ENTCS, 45:197-208, 2001. [doi]

2000

Symmetric monoidal sketchesMartin Hyland, John Power. ppdp 2000: 280-288 [doi]

1999

Variations on RealizabilityMartin Hyland. ENTCS, 23(1):166-188, 1999. [doi]

Abstract Games for Linear LogicMartin Hyland, Andrea Schalk. TCS, 29:127-150, 1999. [doi]

1993

A Term Calculus for Intuitionistic Linear LogicP. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland. tlca 1993: 75-90

Full Intuitionistic Linear Logic (extended abstract)Martin Hyland, Valeria de Paiva. APAL, 64(3):273-291, 1993.

1992

Linear Lambda-Calculus and Categorial Models RevisitedP. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland. csl 1993: 61-84

Sign in or sign up to see more results.

runs on WebDSL