Dominic J. D. Hughes

Generating author description...

All published works

Action	Title	Year	Authors
+	Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell	2022	Duško Pavlović Dominic J. D. Hughes
+	Combinatorial Proofs and Decomposition Theorems for First-order Logic	2021	Dominic J. D. Hughes Lutz Strasburger Jui-Hsuan Wu
+	The nucleus: Mining concepts from adjunctions	2020	Duško Pavlović Dominic J. D. Hughes
+	The nucleus of an adjunction and the Street monad on monads	2020	Duško Pavlović Dominic J. D. Hughes
+	Nucleus I: Adjunction spectra in recommender systems and descent	2020	Duško Pavlović Dominic J. D. Hughes
+	First-order proofs without syntax	2019	Dominic J. D. Hughes
+	Unification nets: canonical proof net quantifiers	2018	Dominic J. D. Hughes
+	MALL proof nets identify proofs modulo rule commutation	2016	Rob J. van Glabbeek Dominic J. D. Hughes
+	Is Wolfram and Cook's (2,5) Turing machine really universal?	2012	Dominic J. D. Hughes
+	Simple free star-autonomous categories and full coherence	2012	Dominic J. D. Hughes
+	Is Wolfram and Cook's (2,5) Turing machine really universal?	2012	Dominic J. D. Hughes
+	Linking diagrams for free	2008	Dominic J. D. Hughes
+	Abstract p-time proof nets for MALL: Conflict nets	2008	Dominic J. D. Hughes
+	Linking diagrams for free	2008	Dominic J. D. Hughes
+	Towards Hilbert's 24th Problem: Combinatorial Proof Invariants	2006	Dominic J. D. Hughes
+	Modelling Linear Logic Without Units (Preliminary Results)	2005	Robin Houston Dominic J. D. Hughes Andrea Schalk

Common Coauthors

Coauthor	Papers Together
Duško Pavlović	4
Robin Houston	1
Andrea Schalk	1
Jui-Hsuan Wu	1
Lutz Strasburger	1
Rob J. van Glabbeek	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	The structure of multiplicatives	1989	Vincent Danos Laurent Régnier	4
+	Towards Hilbert's 24th Problem: Combinatorial Proof Invariants	2006	Dominic J. D. Hughes	4
+	Technique de descente et théorèmes d'existence en géométrie algébrique. I. Généralités. Descente par morphismes fidèlement plats	1960	Alexander Grothendieck	4
+	A generalization of the functorial calculus	1966	Samuel Eilenberg G. M. Kelly	4
+	Contractible Coherence Spaces and Maximal Maps	1999	Hongde Hu	3
+	Complement reducible graphs	1981	Derek G. Corneil H. Lerchs L.Stewart Burlingham	3
+	Fibred and Cofibred Categories	1966	John W. Gray	3
+	Untersuchungen �ber das logische Schlie�en. I	1935	Gerhard Gentzen	3
+ PDF Chat	Every standard construction is induced by a pair of adjoint functors	1965	Heinrich Kleisli	2
+ PDF Chat	Bases as Coalgebras	2013	Bart Jacobs	2
+ PDF Chat	Games and full completeness for multiplicative linear logic	1994	Samson Abramsky Radha Jagadeesan	2
+	Traced monoidal categories	1996	André Joyal Ross Street Dominic Verity	2
+	THE CHU CONSTRUCTION: HISTORY OF AN IDEA	2006	Michael Barr	2
+ PDF Chat	Functors involving c.s.s. complexes	1958	Daniel M. Kan	2
+ PDF Chat	Quantitative Concept Analysis	2012	Duško Pavlović	2
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane	2
+	Braided Tensor Categories	1993	André Joyal Ross Street	2
+	Produits Tensoriels Topologiques Et Espaces Nucleaires	1966	Alexandre Grothendieck	2
+ PDF Chat	A new description of orthogonal bases	2012	Bob Coecke Duško Pavlović Jamie Vicary	2
+ PDF Chat	On coalgebras over algebras	2011	Adriana Balan Alexander Kurz	2
+	TRIPLES, ALGEBRAS AND COHOMOLOGY	1967	Jonathan Beck	2
+	Monads for which structures are adjoint to units	1995	Anders Kock	2
+	THE SEPARATED EXTENSIONAL CHU CATEGORY	1998	Michael Barr Robert Rosebrugh	2
+	Elements of Homotopy Theory	1978	George W. Whitehead	2
+	The formal theory of monads II	2002	Stephen Lack Ross Street	2
+	Coalgebras in a category of algebras	1969	Michael Barr	2
+	ON PROPERTY-LIKE STRUCTURES	1997	G. M. Kelly Stephen Lack	2
+	Chu I: cofree equivalences, dualities and *-autonomous categories	1997	Duško Pavlović	2
+	Rational Homotopy Theory	1969	Daniel Quillen	2
+	Relations Between Homology and Homotopy Groups of Spaces	1945	Samuel Eilenberg Saunders MacLane	2
+	Hilbert's Twenty-Fourth Problem	2003	Rüdiger Thiele	2
+	Factorization systems as Eilenberg-Moore algebras	1993	Mareli Korostenski Walter Tholen	2
+	Tight spans, Isbell completions and semi-tropical modules	2013	Simon Willerton	2
+	Coherence for compact closed categories	1980	G. M. Kelly Miguel L. Laplaza	2
+ PDF Chat	Adjoint functors and triples	1965	Samuel Eilenberg John C. Moore	2
+	Semi-Simplicial Complexes and Singular Homology	1950	Samuel Eilenberg J. A. Zilber	1
+	A Combinatorial Definition of Homotopy Groups	1958	Daniel M. Kan	1
+	Modular Elliptic Curves and Fermat's Last Theorem	1995	Andrew Wiles	1
+	KAN EXTENSIONS ALONG PROMONOIDAL FUNCTORS	1995	Brian Day Ross Street Richard J. Wood	1
+ PDF Chat	Quotients in monadic programming: Projective algebras are equivalent to coalgebras	2017	Duško Pavlović Peter-Michael Seidel	1
+ PDF Chat	Universal probability-free prediction	2017	Vladimir Vovk Duško Pavlović	1
+	Partition algebras	2004	Tom Halverson Arun Ram	1
+	Analysis situs	1985	Robin Wilson	1
+	Towards a Science of Trust	2015	Duško Pavlović	1
+	First-order proofs without syntax	2019	Dominic J. D. Hughes	1
+	Coherence of Proof-Net Categories	2005	Kosta Došen Zoran Petrić	1
+ PDF Chat	Towards a Combinatorial Proof Theory	2019	Benjamin Ralph Lutz Straßburger	1
+	Modular normalisation of classical proofs	2019	Benjamin Ralph	1
+	Knot Diagrammatics	2004	Louis H. Kauffman	1
+ PDF Chat	Subatomic Proof Systems: Splittable Systems	2018	Andrea Aler Tubella Alessio Guglielmi	1