Search Results - Hughes, Dominic J.D.

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Simple free star-autonomous categories and full coherence

    Simple free star-autonomous categories and full coherence by Hughes, Dominic J.D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets

    Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets by Heijltjes, Willem, Hughes, Dominic J. D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Proof nets for unit-free multiplicative-additive linear logic

    Proof nets for unit-free multiplicative-additive linear logic by Hughes, Dominic J. D., Van Glabbeek, Rob J.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Towards Hilbert's 24th Problem: Combinatorial Proof Invariants

    Towards Hilbert's 24th Problem: Combinatorial Proof Invariants by Hughes, Dominic J.D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Games and definability for system F

    Games and definability for system F by Hughes, D.J.D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Proofs without Syntax

    Proofs without Syntax by Hughes, Dominic J. D.

    Published in Annals of mathematics
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: