J. M. E. Hyland

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Classical lambda calculus in modern dress	2015	J. M. E. Hyland
+	Elements of a theory of algebraic theories	2014	J. M. E. Hyland
+	Moduli and periods of simply connected Enriques surfaces	2012	Torsten Ekedahl J. M. E. Hyland N. I. Shepherd-Barron
+	DEFINABILITY AND COMPUTABILITY (Siberian School of Algebra and Logic)	1998	J. M. E. Hyland
+	Modified realizability toposes and strong normalization proofs	1993	J. M. E. Hyland C.-H. Luke Ong
+ PDF Chat	Andrei Nikolaevich Kolmogorov (1903-1987)	1990	David G. Kendall G. K. Batchelor Ν. H. Bingham W. K. Hayman J. M. E. Hyland G. G. Lorentz H. K. Moffatt William Edward Parry Alexander Razborov Cathy A. Robinson
+	A small complete category	1988	J. M. E. Hyland
+	Applications of Constructivity	1982	J. M. E. Hyland
+	Function spaces in the category of locales	1981	J. M. E. Hyland
+	Tripos theory	1980	J. M. E. Hyland Peter Johnstone Andrew M. Pitts
+	Continuity in spatial toposes	1979	J. M. E. Hyland
+	The intrinsic recursion theory on the countable or continuous functionals	1978	J. M. E. Hyland

Common Coauthors

Coauthor	Papers Together
Alexander Razborov	1
H. K. Moffatt	1
Peter Johnstone	1
C.-H. Luke Ong	1
W. K. Hayman	1
Andrew M. Pitts	1
N. I. Shepherd-Barron	1
Peter Whittle	1
Ν. H. Bingham	1
G. G. Lorentz	1
William Edward Parry	1
Torsten Ekedahl	1
David G. Kendall	1
Cathy A. Robinson	1
G. K. Batchelor	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES	1963	F. William Lawvere	2
+	Fibered categories and the foundations of naive category theory	1985	Jean Bénabou	2
+	Constructivity in Mathematics	2004	Douglas Bridges	2
+ PDF Chat	Indexed Categories and Their Applications	1978	Peter Johnstone Robert Paré Robert Rosebrugh Dietmar Schumacher Richard J. Wood G. C. Wraith	2
+	Tripos theory	1980	J. M. E. Hyland Peter Johnstone Andrew M. Pitts	2
+	Sheaves and logic	1979	Michael Fourman Dana Scott	2
+	Basic concepts of enriched category theory	1982	G. M. Kelly	1
+ PDF Chat	Toposes, Algebraic Geometry and Logic	1972	Ionel Bucur Jean Giraud Noah D. Goodman John Myhill Luc Illusie J. Lambek Dana Scott Marie Tierney	1
+ PDF Chat	Function spaces and adjoints.	1975	John Isbell	1
+	Independent and stationary sequences of random variables	1971	И. А. Ибрагимов Ю. В. Ліннік J. F. C. Kingmán	1
+ PDF Chat	Simple Singularities and Simple Algebraic Groups	1980	Peter Slodowy	1
+	Information theory and the theory of algorithms	2010	A. N. Kolmogorov Альберт Николаевич Ширяев A. B. Sosinskiĭ	1
+	Geometric Invariant Theory	1994	David Mumford John E. Fogarty Frances Kirwan	1
+	Introduction to bicategories	1967	Jean Bénabou	1
+ PDF Chat	Towards a theory of type structure	1974	John Reynolds	1
+	Groupes et algèbres de Lie	1971	Nicolás Bourbaki	1
+	On exceptional Enriques surfaces	2004	Torsten Ekedahl N. I. Shepherd-Barron	1
+	Éléments de géométrie algébrique : III. Étude cohomologique des faisceaux cohérents, Seconde partie	1961	Alexander Grothendieck	1
+	A course on empirical processes	1984	R. M. Dudley	1
+	Modified realizability toposes and strong normalization proofs	1993	J. M. E. Hyland C.-H. Luke Ong	1
+	Algebraic construction of Brieskorn's resolutions	1974	Michael Artin	1
+	Olga Arsen'evna Oleinik	2004	Willi Jäger Peter D. Lax Cathleen S. Morawetz	1
+	Reaction-diffusion equations and their applications to biology	1986	N. F. Britton	1
+	Combinatorial foundations of information theory and the calculus of probabilities	1983	A. N. Kolmogorov	1
+	Dmitrii Evgen'evich Men'shov (on his ninetieth birthday)	1982	A. N. Kolmogorov Sergei M Nikol'skii В. А. Скворцов P L Ul'yanov	1
+	Elements of a theory of algebraic theories	2014	J. M. E. Hyland	1
+	Degrees of continuous functionals	1973	Peter G. Hinman	1
+ PDF Chat	The cartesian closed bicategory of generalised species of structures	2007	Marcelo Fiore Nicola Gambino Martin Hyland Glynn Winskel	1
+	CHARACTERISTIC LYAPUNOV EXPONENTS AND SMOOTH ERGODIC THEORY	1977	Ya. B. Pesin	1
+ PDF Chat	The differentiability of transition functions	1960	Donald Ornstein	1
+ PDF Chat	n-Widths in Approximation Theory.	1986	Klaus Höllig Allan Pinkus	1
+ PDF Chat	LINEAR SUPERPOSITIONS OF FUNCTIONS	1967	A. G. Vitushkin G. M. Khenkin	1
+ PDF Chat	An inequality of Paley and convergence a.e. of Walsh-Fourier series	1969	Per Sjölin	1
+ PDF Chat	Canonical models of surfaces of general type in positive characteristic	1988	Torsten Ekedahl	1
+	A universal property of the convolution monoidal structure	1986	Geun Bin IM G. M. Kelly	1
+ PDF Chat	Another Countable Markov Process with Only Instantaneous States	1958	David Blackwell	1
+	Locally cartesian closed categories and type theory	1984	R. A. G. Seely	1
+	Maximal and everywhere-defined functionals	1974	Yu. L. Ershov	1
+ PDF Chat	The first de Rham cohomology group and Dieudonné modules	1969	Tadao Oda	1
+ PDF Chat	Operads, clones, and distributive laws	2010	Pierre-Louis Curien	1
+	Finite Flat Group Schemes	1997	John Tate	1
+	A Variational Principle for the Pressure of Continuous Transformations	1975	Peter Walters	1
+ PDF Chat	Rational singularities, with applications to algebraic surfaces and unique factorization	1969	Joseph Lipman	1
+	On a Topological Topos	1979	Peter Johnstone	1
+	Reaction-diffusion equations and their applications to biology	1987	J. A. Tyson	1
+	On topological quotient maps preserved by pullbacks or products	1970	Brian J. Day G. M. Kelly	1
+ PDF Chat	Functors of Artin rings	1968	Michael Schlessinger	1
+ PDF Chat	On convergence and growth of partial sums of Fourier series	1966	Lennart Carleson	1
+ PDF Chat	On the multiplicative properties of the de rham-witt complex. II.	1985	Torsten Ekedahl	1
+	The definition of random sequences	1966	Per Martin-Löf	1