Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Martin
Last name:	Hyland
DBLP:	h/JMEHyland
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 36  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo. Computability in Europe 2010.	Ann. Pure Appl. Logic 2012, Volume 163	(0)	2012
	Journal article George Janelidze, Martin Hyland, Michael Johnson, Peter T. Johnstone, Stephen Lack, Ross Street, Walter Tholen, Richard Wood. Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly.	Applied Categorical Structures 2011, Volume 19	(0)	2011
	Journal article Martin Hyland. Some reasons for generalising domain theory.	Mathematical Structures in Computer Science 2010, Volume 20	(0)	2010
	Conference paper Martin Grohe, Martin Hyland, Johann A. Makowsky, Damian Niwinski. The Ackermann Award 2007.	Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings 2007	(0)	2007
	Conference paper Russell Harmer, Martin Hyland, Paul-André Melliès. Categorical Combinatorics for Innocent Strategies.	22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings 2007	(0)	2007
	Conference paper Martin Hyland, John Power. The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads.	Electr. Notes Theor. Comput. Sci. 2007, Volume 172	(0)	2007
	Conference paper Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power. Combining algebraic effects with continuations.	Theor. Comput. Sci. 2007, Volume 375	(0)	2007
	Conference paper Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini. A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda.	Electr. Notes Theor. Comput. Sci. 2006, Volume 161	(0)	2006
	Conference paper Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban. Categorical proof theory of classical propositional calculus.	Theor. Comput. Sci. 2006, Volume 364	(0)	2006
	Conference paper Martin Hyland, John Power. Discrete Lawvere theories and computational effects.	Theor. Comput. Sci. 2006, Volume 366	(0)	2006

Show item 1 to 10 of 36  

Your query returned 36 matches in the database.