Dominic J. D. Hughes

MaRDI QIDQ1936109zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Intuitionistic proofs without syntax	2024-12-19	Paper
Normalization without syntax	2024-05-27	Paper
scientific article; zbMATH DE number 7559288 (Why is no real title available?)	2022-07-18	Paper
Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell	2022-04-20	Paper
Unification nets: canonical proof net quantifiers Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Nucleus I: Adjunction spectra in recommender systems and descent	2020-04-15	Paper
First-order proofs without syntax	2019-06-26	Paper
Complexity bounds for sum-product logic via additive proof nets and Petri nets 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Conflict nets Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Proof nets for unit-free multiplicative-additive linear logic ACM Transactions on Computational Logic	2017-07-12	Paper
Intensional double glueing, biextensional collapse, and the Chu construction	2016-05-03	Paper
Towards Hilbert's 24th Problem: Combinatorial Proof Invariants Electronic Notes in Theoretical Computer Science	2013-05-03	Paper
Simple free star-autonomous categories and full coherence Journal of Pure and Applied Algebra	2013-02-21	Paper
Is Wolfram and Cook's (2,5) Turing machine really universal?	2012-08-30	Paper
A minimal classical sequent calculus free of structural rules Annals of Pure and Applied Logic	2011-08-26	Paper
Linking diagrams for free	2008-05-11	Paper
Proofs without syntax Annals of Mathematics. Second Series	2008-02-06	Paper
Proofs without syntax Annals of Mathematics. Second Series	2008-02-06	Paper
Abstract p-time proof nets for MALL: Conflict nets	2008-01-15	Paper
Hypergames and full completeness for system F (rough draft)	2008-01-15	Paper
Simple multiplicative proof nets with units	2005-06-30	Paper
Logic Without Syntax	2005-04-04	Paper
Modelling Linear Logic Without Units (Preliminary Results)	2005-04-03	Paper
Classical Logic = Fibred MLL	2005-04-01	Paper

Research outcomes over time

This page was built for person: Dominic J. D. Hughes