Jui-Hsuan Wu

According to our database, Jui-Hsuan Wu authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Positive Sharing and Abstract Machines.

Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu

CoRR, June, 2025

2024

Proof theory, syntactic representations, logic, and sharing. (Théorie de la preuve, représentations syntaxiques, logique, et partage).

Jui-Hsuan Wu

PhD thesis, 2024

Positive Focusing is Directly Useful.

Beniamino Accattoli, Jui-Hsuan Wu

CoRR, 2024

2023

A Positive Perspective on Term Representation (Invited Talk).

Dale Miller, Jui-Hsuan Wu

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

Proofs as Terms, Terms as Graphs.

Jui-Hsuan Wu

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2021

Combinatorial Proofs and Decomposition Theorems for First-order Logic.

Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021