publications

2024

  1. MFPS 2024
    Positive Focusing is Directly Useful
    Accattoli, Beniamino, and Wu, Jui-Hsuan
    In 40th International Conference on Mathematical Foundations of Programming Semantics (MFPS). 2024

2023

  1. APLAS 2023
    Proofs as Terms, Terms as Graphs
    Wu, Jui-Hsuan
    In 21st Asian Symposium on Programming Languages and Systems (APLAS). 2023
    PDF
  2. CSL 2023
    A positive perspective on term representation: Extended paper
    Miller, Dale, and Wu, Jui-Hsuan
    In 31th EACSL Annual Conference on Computer Science Logic (CSL) 2023
    PDF

2022

  1. LFMTP 2022
    A positive perspective on term representation: work in progress
    Miller, Dale, and Wu, Jui-Hsuan
    2022
    PDF

2021

  1. LICS 2021
    Combinatorial Proofs and Decomposition Theorems for First-order Logic
    Hughes, Dominic, Straßburger, Lutz, and Wu, Jui-Hsuan
    In 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021
    PDF

2020

  1. M2 internship
    Wu, J.-H. (2020). On First-order Combinatorial Proofs.
    PDF

2019

  1. M1 internship
    Wu, J.-H. (2019). Checking the type safety of rewrite rules in λ\Pi-calculus modulo rewriting.
    PDF

2018

  1. L3 internship
    Wu, J.-H. (2018). Automated proof search in linear logic.
    PDF