Dominic J. D. Hughes

Available identifiers

Publication	Date of Publication	Type
Intuitionistic proofs without syntax	2024-12-19	Paper
Normalization without syntax	2024-05-27	Paper
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: canonical proof net quantifiers	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

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