Person:1936109

Available identifiers

zbMath Open hughes.dominic-j-dMaRDI QIDQ1936109

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5089024	2022-07-18	Paper
Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell	2022-04-20	Paper
Unification nets	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	2018-04-23	Paper
Conflict nets	2018-04-23	Paper
Proof nets for unit-free multiplicative-additive linear 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	2013-05-03	Paper
Simple free star-autonomous categories and full coherence	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	2011-08-26	Paper
Linking diagrams for free	2008-05-11	Paper
Proofs without syntax	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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